Qu'est-ce que Mighty GitHub PRs ?

Mighty GitHub PRs est une extension Chrome développée par adam.graf, et sa fonction principale est "Restyle Pull Request screen for easier navigation and more focused review sessions.".

Captures d'Écran de l'Extension

Télécharger le fichier CRX de l'extension Mighty GitHub PRs

Téléchargez les fichiers d'extension Mighty GitHub PRs au format crx, installez manuellement les extensions Chrome dans le navigateur ou partagez les fichiers crx avec des amis pour installer facilement les extensions Chrome.

Instructions d'Utilisation de l'Extension

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

Informations de Base sur l'Extension

Nom	Mighty GitHub PRs
ID	hopnfcjjghjpkfdiffabbpcpnhcpkceg
URL Officiel	https://chromewebstore.google.com/detail/mighty-github-prs/hopnfcjjghjpkfdiffabbpcpnhcpkceg
Description	Restyle Pull Request screen for easier navigation and more focused review sessions.
Taille du Fichier	39.5 KB
Nombre d'Installations	118
Version Actuelle	1.1.1
Dernière Mise à Jour	2021-03-29
Date de Publication	2019-11-12
Évaluation	5.00/5 Total 3 Évaluations
Développeur	adam.graf
Email	[email protected]
Type de Paiement	free
Site Web de l'Extension	https://github.com/netgrafe/mighty-github-prs
URL de la Page d'Aide	https://github.com/netgrafe/mighty-github-prs
Langues Prises en Charge	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" ] } ] }