What is Mighty GitHub PRs?

Mighty GitHub PRs is a Chrome extension developed by adam.graf, and its main feature is "Restyle Pull Request screen for easier navigation and more focused review sessions.".

Extension Screenshots

Download Mighty GitHub PRs Extension CRX File

Download Mighty GitHub PRs 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

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

Extension Basic Information

Name	Mighty GitHub PRs
ID	hopnfcjjghjpkfdiffabbpcpnhcpkceg
Official URL	https://chromewebstore.google.com/detail/mighty-github-prs/hopnfcjjghjpkfdiffabbpcpnhcpkceg
Description	Restyle Pull Request screen for easier navigation and more focused review sessions.
File Size	39.5 KB
Installation Count	118
Current Version	1.1.1
Last Updated	2021-03-29
Publish Date	2019-11-12
Rating	5.00/5 Total 3 Ratings
Developer	adam.graf
Email	[email protected]
Payment Type	free
Extension Website	https://github.com/netgrafe/mighty-github-prs
Help Page URL	https://github.com/netgrafe/mighty-github-prs
Supported Languages	en
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" ] } ] }