Restyle Pull Request screen for easier navigation and more focused review sessions.

Latest Version

Version
1.1.1
Update
March 29, 2021
Size
39.5KiB
Developer
Category
Users
85
Rating
5 ★
Manifest Version
2
Web Store Status
Languages Support
English
See more
Permissions
Tabs
ContextMenus
*://*.github.com/*
See more

Mighty GitHub PRs Extension

This is an extension to restyle Pull Request screen for easier navigation and more focused review sessions in GitHub (public or any private/enterprise edition).

Main features:
- works on corporate enterprise domains, you just need to enable in the context menu of the extension in Chrome toolbar:
- shows file tree on the left hand side
- folders are collapsible
- folders are as concise as possible (if a folder containing on single folder it is merged with parent in visualization)
- deleted files are red and crossed through in file tree
- seen files become non-highlighted once seen
- only one single file's diff is shown if a file is selected from the tree
- large, visible Approve and Needs work buttons added ('Need work' button automatically adds a generic 'Please fix review items' comment.)
- clutter is reduced - elements on the top of the page is eliminated in the file navigation view to eliminate visual noise
Read more

Source Manifest.json

" {"update_url": "https://clients2.google.com/service/update2/crx", "name": "Mighty GitHub PRs", "version": "1.1.1", "description": "Restyle Pull Request screen for easier navigation and more focused review sessions.", "manifest_version": 2, "icons": { "48": "mighty-github-icon-48x48.png", "128": "mighty-github-icon-128x128.png", "192": "mighty-github-icon-192x192.png" }, "browser_action": { "default_icon": { "48": "mighty-github-icon-48x48.png", "128": "mighty-github-icon-128x128.png", "192": "mighty-github-icon-192x192.png" } }, "permissions": [ "tabs", "contextMenus", "*://*.github.com/*" ], "optional_permissions": [ "http://*/*", "https://*/*" ], "background": { "scripts": [ "webext-permissions-events-polyfill.js", "webext-dynamic-content-scripts.js", "webext-domain-permission-toggle.js", "background.js" ] }, "content_scripts": [{ "matches": ["https://*.github.com/*"] , "css": ["pr-optimizer.css"], "js": ["pr-optimizer.js"] }] }
Read more

How to download and manually install Mighty GitHub PRs extension for Chrome

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

Method 1: Download Mighty GitHub PRs extension and manually install through Drag &Drop

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

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

This is another method to install Mighty GitHub PRs 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 Mighty GitHub PRs extension file

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

Similar Extensions

icon

GitHub Diff Explorer Extension · Developer Tools 85 4 ★ 110KiB

icon

Codeflower Extension · Developer Tools 85 2 ★ 246KiB

icon

Friendly GitHub Extension · Social & Communication 85 2 ★ 44.63KiB

icon

Tree Explorer for Github Extension · Developer Tools 85 11 ★ 43.13KiB

icon

Github Diffs Extension · Developer Tools 85 0 ★ 12.99KiB

icon

Git flow (for Github) Extension · Developer Tools 85 1 ★ 218KiB

icon

Github Sidebar Extension · Developer Tools 85 2 ★ 562KiB

icon

Pretty Pull Requests (Github) Extension · Developer Tools 85 21 ★ 412KiB

icon

github-find Extension · Productivity 85 1 ★ 40.7KiB

icon

OctoLenses Extension · Developer Tools 85 3 ★ 3.74MiB

icon

Diff Navigator for GitHub Extension · Developer Tools 85 3 ★ 43.72KiB

icon

Github Tree Structure Extension · Developer Tools 85 6 ★ 67.21KiB

icon

A-Tree - Github review helper Extension · Developer Tools 85 4 ★ 573KiB

icon

Github Turbo PR Extension · Productivity 85 0 ★ 37.62KiB

icon

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

icon

GitHub code review Extension · Developer Tools 85 7 ★ 54.71KiB

icon

OctoEdit Extension · Developer Tools 85 0 ★ 1.16MiB

icon

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

icon

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

icon

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

icon

Github Annotator Extension · Developer Tools 85 2 ★ 81.68KiB

icon

Package Hub Extension · Developer Tools 85 2 ★ 28.3KiB

icon

OctoPermalinker Extension · Developer Tools 85 1 ★ 373KiB

icon

GitHub File Icons Extension · Developer Tools 85 8 ★ 435KiB

User reviews

icon

Andras Nemes (ID: 0000004bd79d193a) Voted 5 ★ - Updated 09/21/2021 Best tool ever! 💪