Mighty GitHub PRs

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.

Download

Stats

By: adam.graf

View on Chrome Web Store

Users: 113 ▲ 6

Rating: 5.00 (3)

Version: 1.1.1 (Last updated: 2021-03-29)

Creation date: 2019-11-12

Risk impact: High risk impact

Risk likelihood: Very low risk likelihood

Manifest version: 2

Permissions:

tabs
contextMenus
*://*.github.com/*

Size: 40.45K

Email: ad*****@gmail.com

URLs: Website

Stats date:

Chrome-Stats Rank

# 62665 ▲ 1099

Other rankings

#1240 in Developer Tools ▲ 11 #198 in folders keyword 10 ▲ 1 #237 in folder keyword 11 ▼ 1 #281 in github keyword 41 ▲

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.

Summary

Analyze keywords

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! 💪

Andras Nemes, 2021-09-21

View all user reviews

Safety

Risk impact

Mighty GitHub PRs is risky to use as it requires a number of sensitive permissions that can potentially harm your browser and steal your data. Exercise caution when installing this extension. Review carefully before installing. We recommend that you only install Mighty GitHub PRs if you trust the publisher.