Leaderboard

Github added a new cool setting allowing better collaboration between pull request creators and official developers with this setting you will give official developers temp permissions to modify your pull request (and this can speed up the merge of some pull requests) For new pull requests, read https://github.com/blog/2247-improving-collaboration-with-forks For existing pull requests, read https://help.github.com/articles/allowing-changes-to-a-pull-request-branch-created-from-a-fork/