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:
- Loop through all of the tagged images and download them to my local machine.
- re-tag each image with the new repository name
- push each image back to the new group.
- 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?