Believe I have a screenshot of contributors organized by number of commits that can be found here. Does anyone know how often this list is updated? Currently I count 361 contributors on that list bit the github repo here list 786 contributors, leading me to believe it has been a while.
It seems that the list of contributors is automatically generated by this script:
and is refreshed every 24h (as stated in a comment in the script itself).
I suppose that the difference in the counts depends on the fact that anonymous contributions are excluded in the github API request (you should add
anon=1 to have all contributors).