[devmunchies]

if docker loses, then who will maintain docker?

[andyfleming]

There's more to docker than Docker Hub, but I'm not sure what % of their revenue is from Docker Hub.

Even if GitHub "wins" there will still be a lot on Docker Hub.

Also, it's already possible to use other registries like Amazon's ECR or Google Cloud's GCR, or even your own private one.