You know, the original name we came up with was GigHub. We also found the owner of the domain gighub.io and agreed to buy it. But then I thought we're a GitHub app and the names are too similar and maybe github won't like that, so I asked them, and yes, they said it'll violate their trademark policy and we better find another name...