Private GitHub Header Greg Back מאת

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