What's hot on Github on 2017-07-26