Using docker in GitHub repo names is forbidden

<a href="https:&#x2F;&#x2F;github.com&#x2F;search?q=docker&amp;type=Repositories&amp;utf8=%E2%9C%93" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;search?q=docker&amp;type=Repositories&amp;utf8=%E...</a><p>112.567 repositories with docker in name.<p>Big companies&#x2F;projects are using docker.* repo names. To cite some:<p><pre><code> spotify&#x2F;docker-gc couchbase&#x2F;docker citusdata&#x2F;docker nodejs&#x2F;docker-node</code></pre>

The repo name is qualified by the github username. It could be argued that the username is part of the project name.

Well, to be honest, they can do with their trademark as they wish. However, I do not believe that having a repo begin with docker- that constitutes endorsement by Docker, having a github.com&#x2F;docker&#x2F;something would, but not docker-something. For me, it just seems to be &quot;something&quot; for Docker, not by Docker.

Go rkt and rktnetes!

Google also recently made apps such as Reddit Sync change their name to Sync for Reddit.

Headline says: &quot;docker _in_ GitHub repo names&quot;<p>Story detail says: &quot;using the registered trademark Docker as the _first part_ of a repo name&quot;<p>So imaginative name replacements like &quot;wharfee&quot; not necessarily required.