Add custom filters to GitHub PR page.

Latest Version

Version
1.0
Update
October 28, 2024
Size
9.84KiB
Developer
Category
Users
1
Rating
0 ★
Manifest Version
3
Web Store Status
Languages Support
English
See more
Permissions
Storage
See more

GitHub PR Custom Filter Extension

This extension allows you to save custom filters to the Pull Requests (PR) page for easy usage.

This extension is not affiliated with or endorsed by GitHub. It is designed to enhance the user experience while adhering to GitHub's terms of service.
Read more

Source Manifest.json

{"update_url": "https://clients2.google.com/service/update2/crx", "manifest_version": 3, "name": "GitHub PR Custom Filter", "version": "1.0", "description": "Add custom filters to GitHub PR page.", "permissions": ["storage"], "content_scripts": [ { "matches": ["*://github.com/*"], "js": ["content.js"], "css": ["style.css"], "run_at": "document_idle" } ], "icons": { "16": "icons/icon16.png", "32": "icons/icon32.png", "48": "icons/icon48.png", "128": "icons/icon128.png" }}
Read more

How to download and manually install GitHub PR Custom Filter extension for Chrome

Looking for a way to install GitHub PR Custom Filter 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 GitHub PR Custom Filter extensions manually, this article outlines two simple methods to effortlessly install GitHub PR Custom Filter extensions, whether they come as unpacked folders in compressed formats like .zip or as .crx files.

Method 1: Download GitHub PR Custom Filter extension and manually install through Drag &Drop

If you ever need to manually install a GitHub PR Custom Filter 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 GitHub PR Custom Filter Extension by clicking the "Download CRX" button on the website.

Look for the GitHub PR Custom Filter extension you wish to install. Go to the website and download the GitHub PR Custom Filter extension package, which is usually a .CRX file and comes in a zipped file. Here ".crx" file is the format for GitHub PR Custom Filter 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 GitHub PR Custom Filter 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 GitHub PR Custom Filter extension for Chrome and install in Developer Mode

This is another method to install GitHub PR Custom Filter 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 GitHub PR Custom Filter extension file

Select and download the GitHub PR Custom Filter 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 GitHub PR Custom Filter 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 GitHub PR Custom Filter 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 GitHub PR Custom Filter 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 GitHub PR Custom Filter extension in 2 ways. We hope this guide proves helpful.

Similar Extensions

icon

Soap Filter Extension · Developer Tools 1 0 ★ 395KiB

icon

GitHub UI Booster Extension · Developer Tools 1 1 ★ 247KiB

icon

Github page switcher Extension · Developer Tools 1 1 ★ 59.42KiB

icon

Github PR Enhancer Extension · Developer Tools 1 0 ★ 139KiB

icon

GitHub Search Preview Extension · Developer Tools 1 0 ★ 1.95MiB

icon

Compass GitHub WebP Previwer Extension · Developer Tools 1 0 ★ 38.4KiB

icon

CMS Max Github Links Extension · Productivity 1 1 ★ 37.85KiB

icon

GitHub to Linear Extension · Developer Tools 1 3 ★ 25.41KiB

icon

GitHub PR Templates Extension · Developer Tools 1 0 ★ 7.92KiB

icon

GitHub Whitespace Extension · Developer Tools 1 10 ★ 15.73KiB

icon

GitHub Merge Guardian Extension · Developer Tools 1 0 ★ 306KiB

icon

GitHub Code Owners Filter Extension · Developer Tools 1 2 ★ 156KiB

icon

CoderStats link for Github Coders Extension · Developer Tools 1 1 ★ 9.0KiB

icon

Open in (GitHub) Dev! Extension · Developer Tools 1 1 ★ 171KiB

icon

Github Active Forks Extension · Developer Tools 1 4 ★ 170KiB

icon

SIAHL TimeToScore Schedule Filter Extension · Productivity 1 0 ★ 6.68KiB

icon

Share Pull Request Extension · Developer Tools 1 0 ★ 415KiB

icon

AAD - Highly Customizable GitHub Extension · Developer Tools 1 6 ★ 750KiB

icon

GitHub Takip Kontrolü Extension · Productivity 1 2 ★ 12.4KiB

icon

Better GitHub Co-Authors Extension · Developer Tools 1 1 ★ 8.84KiB

icon

Open IDEs From Github Extension · Productivity 1 0 ★ 25.57KiB

icon

GitLab Plus Extension · Developer Tools 1 1 ★ 169KiB

icon

GitHub Project Card Color Customizer Extension · Productivity 1 1 ★ 241KiB

icon

GitHub Custom Notifier Extension · Productivity 1 1 ★ 397KiB