It sounds like GitHub talked you out of using a name that was stepping on their own trademark and into using one which was stepping on someone else's (and that

It sounds like GitHub talked you out of using a name that was stepping on their own trademark and into using one which was stepping on someone else's (and that they knew about). If you're willing to share the conversations you had with them, that would be pretty interesting.