A Chrome extension that watches for GitHub pull requests