What's hot on Github on 2019-10-22