Mighty GitHub PRs

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

Co to jest Mighty GitHub PRs?

Mighty GitHub PRs to rozszerzenie Chrome opracowane przez adam.graf, a jego główną funkcją jest „Restyle Pull Request screen for easier navigation and more focused review sessions.”.

Zrzuty ekranu rozszerzenia

screenshot

Pobierz plik CRX rozszerzenia Mighty GitHub PRs

Pobierz pliki rozszerzeń Mighty GitHub PRs w formacie crx, zainstaluj ręcznie rozszerzenia Chrome w przeglądarce lub udostępnij pliki crx znajomym, aby łatwo zainstalować rozszerzenia Chrome.

Instrukcja Użytkowania Rozszerzenia

                        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                    

Podstawowe informacje o rozszerzeniu

Nazwa Mighty GitHub PRs Mighty GitHub PRs
ID hopnfcjjghjpkfdiffabbpcpnhcpkceg
Oficjalny URL https://chromewebstore.google.com/detail/mighty-github-prs/hopnfcjjghjpkfdiffabbpcpnhcpkceg
Opis Restyle Pull Request screen for easier navigation and more focused review sessions.
Rozmiar pliku 39.5 KB
Liczba instalacji 118
Aktualna Wersja 1.1.1
Ostatnia Aktualizacja 2021-03-29
Data Publikacji 2019-11-12
Ocena 5.00/5 Łącznie 3 Oceny
Deweloper adam.graf
E-mail [email protected]
Typ Płatności free
Strona Rozszerzenia https://github.com/netgrafe/mighty-github-prs
Adres URL Strony Pomocy https://github.com/netgrafe/mighty-github-prs
Obsługiwane Języki 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"
            ]
        }
    ]
}