Rename repository

Our organization accidentally named a private repository incorrectly. We want to change the name of the repository at this point, keeping all of the tagged images. Is there an easy way to do this?

The workaround is to do:

  1. Loop through all of the tagged images and download them to my local machine.
  2. re-tag each image with the new repository name
  3. push each image back to the new group.
  4. Delete the old repository name from github.

That seems like a lot of steps for just a simple:
mv oldname newname

Is there a simpler way that I’m not seeing?

Note, I’m trying to do this in dockerhub.

The way to do it is definitely to pull, retag, and push. Docker hub doesn’t have repository rename capability.