Get notified when you receive a pull request on GitHub.

Latest Version

Version
0.10.7
Update
June 21, 2023
Size
376KiB
Developer
Category
Users
613
Rating
4.14286 ★
Manifest Version
2
Web Store Status
Languages Support
English
See more
Permissions
Alarms
Notifications
Storage
See more

PR Monitor Extension

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.
Read more

Source 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" }}
Read more

How to download and manually install PR Monitor extension for Chrome

Looking for a way to install PR Monitor extensions for Chrome, you can search for them in the Chrome Web Store, clicking the "Add to Chrome" button, and following the straightforward process.

However, you may need to install PR Monitor extensions manually, this article outlines two simple methods to effortlessly install PR Monitor extensions, whether they come as unpacked folders in compressed formats like .zip or as .crx files.

Method 1: Download PR Monitor extension and manually install through Drag &Drop

If you ever need to manually install a PR Monitor extension for Chrome, don't worry, it's a simple process. Just follow these easy steps, and you will have your extension ready to use in no time.

Step 1: Download the PR Monitor Extension by clicking the "Download CRX" button on the website.

Look for the PR Monitor extension you wish to install. Go to the website and download the PR Monitor extension package, which is usually a .CRX file and comes in a zipped file. Here ".crx" file is the format for PR Monitor extension that contains all the data.

Step 2: Extract &Arrange Files

Once the file is downloaded, extract that file into its own folder. Similarly, give that extension files a permanent home. In other words, keep it in a folder that you don't accidentally delete it because these files will be needed to make that extension work.

Step 3: Go to the Chrome Extensions Page

Open Google Chrome and in the address bar, type chrome://extensions; it will open the Google Chrome extensions page. Make sure that "My extensions" is selected in the sidebar.

Step 4: Drag and Drop the Extension

Now, go to the folder where you extracted the PR Monitor extension and drag &drop the extension file from there anywhere onto the extension page within Google Chrome.

Step 5: Complete the Installation

Once you drag and drop the extension file, follow the steps that Google Chrome takes you through. Similarly, if the extension file is of .crx file format, you will be required to review the permissions and then add the extension.

Now, you can manage that added extension as you would like to with any other Chrome extension that you added through Chrome Webstore. Its icon will also appear in the Google Chrome Menu on the right side of the address bar once you activate it.

Method 2: Download PR Monitor extension for Chrome and install in Developer Mode

This is another method to install PR Monitor extension manually, but the twist is that here, you install by enabling the developer mode option provided in Google Chrome. This mode is commonly used for testing extensions or running unpublished tools.

Step 1: Download the PR Monitor extension file

Select and download the PR Monitor extension by clicking the 'Download CRX' button on the website.

Step 2: Extract the downloaded contents

Convert the file to a ZIP file if it is in CRX format then extract the PR Monitor extension zip file or folder that you downloaded. Make sure you extract it using the same folder name and keep it safely in another folder, so you don't delete it by mistake. The extracted folder will be needed to keep your PR Monitor extension running.

Step 3: Open Chrome Extension Setting Page

In the address bar of Google Chrome, type chrome://extensions and open the Chrome Extension Page.

Step 4: Enable Developer Mode

After opening the Chrome Extension page, look at the top right side, and you will find the toggle option of "Developer mode."Simply enable that developer mode option.

Step 5: Load the Unpacked Extension

Once you enable the developer mode option, you will see the menu of Load Unpacked, Pack Extensions and Update. From that, select the option "Load unpacked."

Step 6: Select the Extension Folder

Once the pop-up opens upon clicking Load unpacked, select the PR Monitor extension directory and click on the "Select Folder "button.

Step 7: Confirm and Install

After you select an extension folder of a Google Chrome extension you're installing manually, confirm its installation for the final time and let the installation complete.

Conclusion

Here we've made a step-by-step guide on How to manually install PR Monitor extension in 2 ways. We hope this guide proves helpful.

Similar Extensions

icon

Better Pull Request for GitHub Extension · Developer Tools 613 211 ★ 405KiB

icon

Contributors on Github Extension · Developer Tools 613 5 ★ 15.6KiB

icon

Enhanced GitHub Extension · Developer Tools 613 59 ★ 47.01KiB

icon

OctoLinker Extension · Developer Tools 613 110 ★ 184KiB

icon

Refined GitHub Extension · Developer Tools 613 213 ★ 572KiB

icon

GitHub Story Points Extension · Developer Tools 613 1 ★ 525KiB

icon

Potential changes for GitHub Extension · Developer Tools 613 1 ★ 5.39KiB

icon

GitHub Issue Link Status Extension · Developer Tools 613 12 ★ 629KiB

icon

OctoLenses Extension · Developer Tools 613 3 ★ 3.74MiB

icon

Notifications Preview for GitHub Extension · Productivity 613 6 ★ 40.9KiB

icon

Notifier for GitHub Extension · Developer Tools 613 54 ★ 75.23KiB

icon

Octohint Extension · Developer Tools 613 10 ★ 1.26MiB

icon

Sourcegraph Extension · Developer Tools 613 169 ★ 8.22MiB

icon

npmhub Extension · Developer Tools 613 19 ★ 77.19KiB

icon

GitHub Code Folding Extension · Developer Tools 613 16 ★ 1.06MiB

icon

Git History Browser Extension Extension · Productivity 613 8 ★ 19.4KiB

icon

Github Saved Filters Extension · Developer Tools 613 15 ★ 2.07MiB

icon

OctoPermalinker Extension · Developer Tools 613 1 ★ 373KiB

icon

github npm stats Extension · Developer Tools 613 4 ★ 65.86KiB

icon

Render Whitespace on GitHub Extension · Developer Tools 613 7 ★ 9.93KiB

icon

GIFs for GitHub Extension · Developer Tools 613 34 ★ 57.39KiB

icon

Open GitHub in IDE Extension · Developer Tools 613 9 ★ 208KiB

icon

EASY LGTM Extension · Productivity 613 7 ★ 88.61KiB

icon

File Icons for GitHub and GitLab Extension · Developer Tools 613 48 ★ 460KiB

User reviews

icon

Cosmin Lehene (ID: 000000d801902acf) Voted 3 ★ - Updated 11/28/2019 The extension seems nice, but I don't understand why would it need to be so intrusive and read your browsing history?

icon

Mitchell Weiss (ID: 00000025e86100d7) Voted 5 ★ - Updated 05/07/2019 Super useful extension!

icon

Niko Roberts (ID: 0000002b2dc1cc0e) Voted 5 ★ - Updated 04/04/2019 PR Monitor saves me so much time trying to get email filters to actually sort the notifications from Github that I need to pay attention to.