What's hot on Github on 2018-12-16