A userscript for managing a github repo a little easier (with a focus on pull requests)