[detaro]

Github was trademarked before git. The git trademark was only granted with a documented understanding they wouldn't conflict. Projects existing at that time got exceptions, and new ones are still sometimes granted.

EDIT: some more details: https://public-inbox.org/git/20170202022655.2jwvudhvo4hmueaw...