Private GitHub Header – Extensión de Firefox para diferenciar repositorios privados y públicos

La única pista visual que tenemos de que un respositorio sea privado en GitHub es una etiqueta al lado del nombre. Para quienes pasamos mucho tiempo trabajando en GitHub, a veces corremos el riesgo de pensar que un grupo acotado de personas va a ver un mensaje, y podemos estar trabajando en un repositorio público sin darnos cuenta (y viceversa).

Greg Back, colega en Elastic, desarrolló esta extensión para Firefox que cambia el color del encabezado en la web de GitHub para que sea más claro: Private GitHub Header. La extensión se puede instalar desde el sitio web de Firefox Browser Add-Ons y el código fuente está disponible bajo la licencia MIT en GitHub: gtback/private-github-header.

El resultado ayuda mucho:

Encabezado GitHub en un repositorio público

Encabezado GitHub en un repositorio privado

Una extensión sencilla pero súper práctica.