What's hot on Github on 2019-08-18