Official tool to merge PRs from the Gentoo Github repository
https://github.com/monsieurp/Gentoo-App-Pram