The top contributors to GitHub (2017)