Public GitHub header

Andy McKay

Highlights public repositories on github.com by changing the header to red.

Screenshots from Mozilla Add-ons