PR Monitor
Get notified when you receive a pull request on GitHub.
What is PR Monitor?
PR Monitor is a Chrome extension developed by Zenc Labs, and its main feature is "Get notified when you receive a pull request on GitHub.".
Extension Screenshots
Download PR Monitor Extension CRX File
Download PR Monitor extension files in crx format, manually install Chrome extensions in the browser, or share the crx files with friends to easily install Chrome extensions.
Extension Usage Instructions
PR Monitor lets you easily manage your GitHub pull requests with the click of a button. You'll get notified whenever you receive a new pull request to review, or when an existing pull request is ready for another review. You can also access your own pull requests within a couple of clicks! See https://github.com/fwouts/prmonitor for source code.
Extension Basic Information
Name | |
ID | pneldbfhblmldbhmkolclpkijgnjcmng |
Official URL | https://chromewebstore.google.com/detail/pr-monitor/pneldbfhblmldbhmkolclpkijgnjcmng |
Description | Get notified when you receive a pull request on GitHub. |
File Size | 376 KB |
Installation Count | 725 |
Current Version | 0.10.7 |
Last Updated | 2023-06-21 |
Publish Date | 2020-06-05 |
Rating | 4.25/5 Total 8 Ratings |
Developer | Zenc Labs |
[email protected] | |
Payment Type | free |
Extension Website | https://github.com/fwouts/prmonitor |
Help Page URL | https://github.com/fwouts/prmonitor/issues |
Privacy Policy Page URL | https://github.com/fwouts/prmonitor/blob/master/PRIVACY_POLICY.md |
Supported Languages | en |
manifest.json | |
{ "update_url": "https:\/\/clients2.google.com\/service\/update2\/crx", "manifest_version": 2, "name": "PR Monitor", "version": "0.10.7", "description": "Get notified when you receive a pull request on GitHub.", "permissions": [ "alarms", "notifications", "storage" ], "optional_permissions": [ "tabs" ], "background": { "scripts": [ "background.js" ], "persistent": true }, "browser_action": { "default_popup": "index.html#popup" }, "icons": { "48": "images\/logo48.png", "96": "images\/logo96.png", "128": "images\/logo128.png", "256": "images\/logo256.png" } } |