Most active GitHub users (git.io/top)
The count of contributions (summary of Pull Requests, opened issues and commits) to public repos at GitHub.com from Sat, 28 Apr 2012 15:50:19 GMT till Sun, 28 Apr 2013 15:50:19 GMT.
Only first 1000 GitHub users according to the count of followers are taken. Sorting algo in pseudocode:
githubUsers
.filter((user) -> user.followers > 172)
.sortBy('contributions')