Integrate reporting tools for GitHub into the platform

[raisedadead]

Meld the tools.freecodecamp.org functionality into the contribute platform

[a2937]

Is this the repository for the dashboard? https://github.com/freeCodeCamp/tools/tree/master

[raisedadead]

Yes - that's correct.

[a2937]

How do I get a Github token for this?

[a2937]

I was looking at the repository very closely and had a couple of thoughts. It'd be a really big problem without some sort of caching system in place and I'm not sure if my first thought would be to check the website with all the documentation on it for a list of GitHub PRs. Granted it could go along with the leaderboard idea.