Github Pull Request Counter
A chrome extension to remove mental load when working with pull requests.
¿Qué es Github Pull Request Counter?
Github Pull Request Counter es una extensión de Chrome desarrollada por Renuo, y su función principal es "A chrome extension to remove mental load when working with pull requests.".
Capturas de Pantalla de la Extensión
Descargar Archivo CRX de la Extensión Github Pull Request Counter
Descarga archivos de extensión Github Pull Request Counter 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
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.
Información Básica de la Extensión
Nombre | Github Pull Request Counter |
ID | eeejbcmnmgogpkgeinlbchoafjjbegmi |
URL Oficial | https://chromewebstore.google.com/detail/github-pull-request-count/eeejbcmnmgogpkgeinlbchoafjjbegmi |
Descripción | A chrome extension to remove mental load when working with pull requests. |
Tamaño del Archivo | 68.37 KB |
Cantidad de Instalaciones | 81 |
Versión Actual | 1.0.10 |
Última Actualización | 2023-06-24 |
Fecha de Publicación | 2021-08-02 |
Calificación | 5.00/5 Total de 3 Calificaciones |
Desarrollador | Renuo |
Correo electrónico | [email protected] |
Tipo de Pago | free |
Sitio Web de la Extensión | https://github.com/renuo/github-pull-request-counter |
Idiomas Soportados | 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" } } |