A userscript that removes pull requests from the GitHub issue list