GitHub UI changes: New Headerhttps://github.com/blog/1007-skinny-header#comment-15719 by bkbleikamp • 15 years ago 3 0 15 years agoGIgithub.com