Mighty GitHub PRs

Restyle Pull Request screen for easier navigation and more focused review sessions.

Wat is Mighty GitHub PRs?

Mighty GitHub PRs is een Chrome-extensie ontwikkeld door adam.graf, en de belangrijkste functie is "Restyle Pull Request screen for easier navigation and more focused review sessions.".

Extensie Screenshots

screenshot

Download het CRX-bestand van de extensie Mighty GitHub PRs

Download Mighty GitHub PRs-extensiebestanden in crx-indeling, installeer Chrome-extensies handmatig in de browser of deel de crx-bestanden met vrienden om Chrome-extensies eenvoudig te installeren.

Instructies voor het Gebruik van de Extensie

                        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                    

Basisinformatie over de Extensie

Naam Mighty GitHub PRs Mighty GitHub PRs
ID hopnfcjjghjpkfdiffabbpcpnhcpkceg
Officiële URL https://chromewebstore.google.com/detail/mighty-github-prs/hopnfcjjghjpkfdiffabbpcpnhcpkceg
Beschrijving Restyle Pull Request screen for easier navigation and more focused review sessions.
Bestandsgrootte 39.5 KB
Aantal Installaties 118
Huidige Versie 1.1.1
Laatst Bijgewerkt 2021-03-29
Publicatiedatum 2019-11-12
Beoordeling 5.00/5 Totaal 3 Beoordelingen
Ontwikkelaar adam.graf
E-mail [email protected]
Betalingswijze free
Extensiewebsite https://github.com/netgrafe/mighty-github-prs
Help Pagina-URL https://github.com/netgrafe/mighty-github-prs
Ondersteunde Talen 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"
            ]
        }
    ]
}