Was ist Mighty GitHub PRs?

Mighty GitHub PRs ist eine Chrome-Erweiterung, die von adam.graf entwickelt wurde, und ihr Hauptmerkmal ist "Restyle Pull Request screen for easier navigation and more focused review sessions.".

Erweiterungsscreenshots

Mighty GitHub PRs-Erweiterungs-CRX-Datei herunterladen

Laden Sie Mighty GitHub PRs-Erweiterungsdateien im crx-Format herunter, installieren Sie Chrome-Erweiterungen manuell im Browser oder teilen Sie die crx-Dateien mit Freunden, um Chrome-Erweiterungen einfach zu installieren.

Anleitung zur Verwendung der Erweiterung

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

Grundlegende Informationen zur Erweiterung

Name	Mighty GitHub PRs
ID	hopnfcjjghjpkfdiffabbpcpnhcpkceg
Offizielle URL	https://chromewebstore.google.com/detail/mighty-github-prs/hopnfcjjghjpkfdiffabbpcpnhcpkceg
Beschreibung	Restyle Pull Request screen for easier navigation and more focused review sessions.
Dateigröße	39.5 KB
Installationsanzahl	118
Aktuelle Version	1.1.1
Letztes Update	2021-03-29
Veröffentlichungsdatum	2019-11-12
Bewertung	5.00/5 Insgesamt 3 Bewertungen
Entwickler	adam.graf
E-Mail	[email protected]
Zahlungsart	free
Erweiterungswebsite	https://github.com/netgrafe/mighty-github-prs
Hilfeseite URL	https://github.com/netgrafe/mighty-github-prs
Unterstützte Sprachen	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" ] } ] }