shorten GitHub header