Cos'è Mighty GitHub PRs?

Mighty GitHub PRs è un'estensione di Chrome sviluppata da adam.graf, e la sua funzione principale è "Restyle Pull Request screen for easier navigation and more focused review sessions.".

Screenshot dell'Estensione

Scarica il file CRX dell'estensione Mighty GitHub PRs

Scarica i file di estensione Mighty GitHub PRs in formato crx, installa manualmente le estensioni di Chrome nel browser o condividi i file crx con gli amici per installare facilmente le estensioni di Chrome.

Istruzioni per l'Uso dell'Estensione

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

Informazioni di Base sull'Estensione

Nome	Mighty GitHub PRs
ID	hopnfcjjghjpkfdiffabbpcpnhcpkceg
URL Ufficiale	https://chromewebstore.google.com/detail/mighty-github-prs/hopnfcjjghjpkfdiffabbpcpnhcpkceg
Descrizione	Restyle Pull Request screen for easier navigation and more focused review sessions.
Dimensione del File	39.5 KB
Conteggio Installazioni	118
Versione Corrente	1.1.1
Ultimo Aggiornamento	2021-03-29
Data di Pubblicazione	2019-11-12
Valutazione	5.00/5 Totale 3 Valutazioni
Sviluppatore	adam.graf
Email	[email protected]
Tipo di Pagamento	free
Sito Web dell'Estensione	https://github.com/netgrafe/mighty-github-prs
URL della Pagina di Aiuto	https://github.com/netgrafe/mighty-github-prs
Lingue Supportate	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" ] } ] }