The `push` command does not only push to "the" registry. It can be used to push to any registry (by default, the central registry of the Docker Index).