What's hot on Github on 2019-12-07