Edits to the GitHub UI to make it more informative

Latest Version

Version
1.8.3
Update
September 29, 2021
Size
38.37KiB
Developer
Category
Users
221
Rating
1 ★
Manifest Version
2
Web Store Status
Languages Support
English (United States)
See more
Permissions
Storage
Https://github.com/*
See more

Extra GitHub PR Info Extension

A collection of GitHub quality of life improvements:

See https://github.com/driazati/github-extension for details
Read more

Source Manifest.json

{"update_url": "https://clients2.google.com/service/update2/crx", "manifest_version": 2, "name": "Extra GitHub PR Info", "short_name": "Extra GitHub PR Info", "description": "Edits to the GitHub UI to make it more informative", "version": "1.8.3", "author": "pytorch", "icons": { "16": "icons/icon16.png", "48": "icons/icon48.png", "128": "icons/icon128.png" }, "options_ui": { "page": "options.html", "chrome_style": true }, "content_scripts": [ { "matches": [ "*://github.com/*/pulls*", "*://github.com/pulls*" ], "js": [ "lib.js", "show_build_status.js" ], "run_at": "document_end" }, { "matches": [ "*://github.com/*" ], "js": [ "disable_pjax.js" ], "run_at": "document_end" }, { "matches": [ "*://github.com/*/*/pull/*", "*://github.com/*/*", "*://github.com/*/*/commits/*" ], "js": [ "lib.js", "unminimize_comments.js", "sort_signals.js", "remove_timeline_events.js", "expand_signals_box.js" ], "run_at": "document_start" }, { "matches": [ "*://github.com/*/*/pull/*/files" ], "js": [ "lib.js", "reorder_code_reviews.js" ], "run_at": "document_start" } ], "background": { "scripts": [ "remove_cors.js" ], "persistent": true }, "permissions": [ "storage", "https://github.com/*" ]}
Read more

How to download and manually install Extra GitHub PR Info extension for Chrome

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

Method 1: Download Extra GitHub PR Info extension and manually install through Drag &Drop

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

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

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

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

Similar Extensions

icon

Libraries.io | GitHub Companion Extension · Productivity 221 3 ★ 1.31MiB

icon

Builds Tab for Github Extension · Developer Tools 221 0 ★ 160KiB

icon

'Clone in GitHub for Windows' for Bitbucket Extension · Developer Tools 221 2 ★ 510KiB

icon

Git Help Extension · Developer Tools 221 5 ★ 744KiB

icon

GitHub submodule links Extension · Developer Tools 221 2 ★ 17.49KiB

icon

OctoLenses Extension · Developer Tools 221 3 ★ 3.74MiB

icon

Github Fork Confirmation Extension · Developer Tools 221 1 ★ 17.08KiB

icon

GitHub Enhancement Suite Extension · Developer Tools 221 1 ★ 56.24KiB

icon

GitHub Pages Extension · Accessibility 221 0 ★ 7.93KiB

icon

Github Super Search Extension · Developer Tools 221 0 ★ 46.74KiB

icon

Git Mining Extension · Productivity 221 4 ★ 211KiB

icon

OctoPermalinker Extension · Developer Tools 221 1 ★ 373KiB

icon

GitHub Inline Log Viewer Extension · Developer Tools 221 1 ★ 32.93KiB

icon

Github Gist logo fixer Extension · Developer Tools 221 1 ★ 4.12KiB

icon

Open Github/Bitbucket in editor Extension · Developer Tools 221 0 ★ 50.72KiB

icon

gist-more-url Extension · Developer Tools 221 1 ★ 61.76KiB

icon

Check for .git directory existence Extension · Developer Tools 221 0 ★ 49.98KiB

icon

Catberry Debugger Extension · Developer Tools 221 4 ★ 455KiB

icon

C-Strip Extension · Developer Tools 221 2 ★ 8.62KiB

icon

console.sparkline Extension · Developer Tools 221 1 ★ 4.7KiB

icon

Github Package.json Enhancer Extension · Developer Tools 221 0 ★ 18.89KiB

icon

Atma.js DevTool Extension · Developer Tools 221 0 ★ 201KiB

icon

Github Annotator Extension · Developer Tools 221 2 ★ 81.68KiB

icon

Lavaca Developer Tools Extension · Developer Tools 221 0 ★ 10.42MiB