I would say it's a mistake, but you never know. This style has been used for github enterprise to make it "differentiate" from github.com, I don't think it's a good idea to make them look the same...