What's hot on Github on 2018-08-20