And that `git push` doesn't need to be literally to the one and only repository

I believe github already has their own implementation of a git server, so any commands submitted to it are abstracted away. They probably don't have a literal .git directory sitting on a server.