Private GitHub Header od Greg Back

Modify the GitHub header for private repos

1 korisnik

Informacije o ovom proširenju

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

Ocjena 5 od strane 2 korisnika