Restyle Pull Request screen for easier navigation and more focused review sessions.
What is Mighty GitHub PRs?
Mighty GitHub PRs is a Chrome extension that restyles the Pull Request screen on GitHub, providing easier navigation, a file tree view, improved review session focus, and more.
Extension stats
By: adam.graf
Rating: 5.00
(3)
Creation date: 2019-11-12
Risk impact: High risk impact
Risk likelihood: Very low risk likelihood
Manifest version: 2
Permissions:
Size: 40.45K
Email: ad*****@gmail.com
Other platforms
Not available on Firefox
Not available on Edge
Want to check extension ranking and stats more quickly for other Chrome extensions?
Install
Chrome-Stats extension
to view Chrome-Stats data as you browse the Chrome Web Store.
Extension summary
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
User reviews
Best tool ever! 💪
Extension safety
Risk impact
Mighty GitHub PRs requires some sensitive permissions that could impact your browser and data security. Exercise caution before installing.
Risk likelihood
Mighty GitHub PRs has earned a good reputation and can be trusted.
Upgrade to see risk analysis details
Promo images
Similar extensions
Here are some Chrome extensions that are similar to Mighty GitHub PRs:
GitHub Diff Explorer Codeflower Friendly GitHub Tree Explorer for Github Github Diffs Git flow (for Github) Github Sidebar Pretty Pull Requests (Github) github-find OctoLenses Diff Navigator for GitHub Github Tree Structure
alexdodge
5.00
233
Jake Mensch
5.00
201
hermanstarikov
5.00
66
Fabio Picheli
4.91
498
kamranahmed.se
N/A
62
Jeroen Visser
5.00
181
christiansletteneide
5.00
127
Brent Yates
3.95
1,000+
Aidan Feldman
5.00
140
Renan GEHAN
5.00
77
https://deanattali.com
5.00
211
koshal.kkg1996
5.00
181