githubtools
This project gather different tools used by the Fedora infrastructure around github.
Among other is the fedora-infra page presenting all the pull-requests opened in the fedora-infra organization on github.
License
The code present in this project is licensed under the GPL v2 or any later version.