GitHub Agents Tab Hider

5,0(

1 valoración

)

Descripción general

Una extensión de navegador para ocultar la pestaña Agents en GitHub

This extension hides the "Agents" tab on GitHub repository pages. This prevents accidentally clicking it instead of the "Actions" tab.

Versión
0.2.0
Actualizado
4 de agosto de 2026
Denunciar problema
Ofrecido por
hidaka
Tamaño
15.3KiB
Idiomas
6 idiomas
Desarrollador
Correo electrónico
ryohidaka.jp@gmail.com
No operador
Este desarrollador no se ha identificado como operador. Los consumidores residentes en la Unión Europea deben tener en cuenta que los derechos de los consumidores no son aplicables a los contratos que suscriban con este desarrollador.

Gestiona las extensiones y descubre cómo se usan en tu organización

El desarrollador ha comunicado que no recogerá ni usará tus datos. Para obtener más información, consulta la privacy policy del desarrollador.

No se venden a terceros, excepto en los casos de uso aprobados
No se usan ni se transfieren para fines no relacionados con la función principal del elemento.
No se usan ni se transfieren para determinar la situación crediticia ni para ofrecer préstamos.

Refined GitHub

4,8

Simplifies the GitHub interface and adds useful features

Le Git Graph - Commits Graph for GitHub

4,5

A browser extension that displays the git graph for any GitHub repository.

Dashboard filter for GitHub

4,5

This adds an activity filter menu to GitHub dashboard.

Gloc

4,3

Github Gloc - counts locs on GitHub pages