Mighty GitHub PRs
Restyle Pull Request screen for easier navigation and more focused review sessions.
¿Qué es Mighty GitHub PRs?
Mighty GitHub PRs es una extensión de Chrome desarrollada por adam.graf, y su función principal es "Restyle Pull Request screen for easier navigation and more focused review sessions.".
Capturas de Pantalla de la Extensión
Descargar Archivo CRX de la Extensión Mighty GitHub PRs
Descarga archivos de extensión Mighty GitHub PRs en formato crx, instala manualmente las extensiones de Chrome en el navegador o comparte los archivos crx con amigos para instalar fácilmente las extensiones de Chrome.
Instrucciones de Uso de la Extensión
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
Información Básica de la Extensión
Nombre | Mighty GitHub PRs |
ID | hopnfcjjghjpkfdiffabbpcpnhcpkceg |
URL Oficial | https://chromewebstore.google.com/detail/mighty-github-prs/hopnfcjjghjpkfdiffabbpcpnhcpkceg |
Descripción | Restyle Pull Request screen for easier navigation and more focused review sessions. |
Tamaño del Archivo | 39.5 KB |
Cantidad de Instalaciones | 118 |
Versión Actual | 1.1.1 |
Última Actualización | 2021-03-29 |
Fecha de Publicación | 2019-11-12 |
Calificación | 5.00/5 Total de 3 Calificaciones |
Desarrollador | adam.graf |
Correo electrónico | [email protected] |
Tipo de Pago | free |
Sitio Web de la Extensión | https://github.com/netgrafe/mighty-github-prs |
URL de la Página de Ayuda | https://github.com/netgrafe/mighty-github-prs |
Idiomas Soportados | 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" ] } ] } |