Private GitHub Header par Greg Back

Modify the GitHub header for private repos

2 utilisateurs·trices

À propos de cette extension

For people who frequently work in both private and public GitHub repositories, this provides a clear visual distinction between the two.

Noté 5 par 2 personnes