Github Pull Request Counter

A chrome extension to remove mental load when working with pull requests.

Co je Github Pull Request Counter?

Github Pull Request Counter je rozšíření Chrome vyvinuté Renuo, a jeho hlavní funkcí je „A chrome extension to remove mental load when working with pull requests.“.

Snímky obrazovky rozšíření

screenshot

Stáhnout soubor CRX rozšíření Github Pull Request Counter

Stáhněte si soubory rozšíření Github Pull Request Counter ve formátu crx, ručně nainstalujte rozšíření Chrome do prohlížeče nebo sdílejte soubory crx s přáteli, abyste jednoduše nainstalovali rozšíření Chrome.

Pokyny pro Použití Rozšíření

                        Maintains a list of GitHub pull request which need action, such as review or merging. This removes mental load and decreases the amount of time between reviews.                    

Základní Informace o Rozšíření

Název Github Pull Request Counter Github Pull Request Counter
ID eeejbcmnmgogpkgeinlbchoafjjbegmi
Oficiální URL https://chromewebstore.google.com/detail/github-pull-request-count/eeejbcmnmgogpkgeinlbchoafjjbegmi
Popis A chrome extension to remove mental load when working with pull requests.
Velikost souboru 68.37 KB
Počet instalací 81
Aktuální Verze 1.0.10
Poslední Aktualizace 2023-06-24
Datum Vydání 2021-08-02
Hodnocení 5.00/5 Celkem 3 Hodnocení
Vývojář Renuo
E-mail [email protected]
Typ Platby free
Webové stránky Rozšíření https://github.com/renuo/github-pull-request-counter
Podporované Jazyky en
manifest.json
{
    "update_url": "https:\/\/clients2.google.com\/service\/update2\/crx",
    "manifest_version": 3,
    "author": "Renuo AG",
    "name": "Github Pull Request Counter",
    "description": "A chrome extension to remove mental load when working with pull requests.",
    "version": "1.0.10",
    "action": {
        "default_popup": "popup.html"
    },
    "options_ui": {
        "page": "options.html",
        "open_in_tab": true
    },
    "permissions": [
        "alarms",
        "storage"
    ],
    "background": {
        "service_worker": "background.js"
    },
    "icons": {
        "16": "icon16.png",
        "32": "icon32.png",
        "48": "icon48.png",
        "128": "icon128.png"
    }
}