Small Chrome extension that filters pull requests from the GitHub issues page.