It would be nice to be able to rename a docker hub repository.
I have a few repositories that have grown with time and many users are using it. Over time I realized that my initial repository name was not the best and I would like to rename it, without loosing all users or break there setup. github has a rename feature: You can simply rename a repository but it will preserve backwards compatibility to all people that are still have an old clone. I think they simply redirecting everything that goes to the old name to the new one. Such a feature would be great for the docker-registry as well.
It would be nice to be able to rename a docker hub repository.
I have a few repositories that have grown with time and many users are using it. Over time I realized that my initial repository name was not the best and I would like to rename it, without loosing all users or break there setup.
githubhas a rename feature: You can simply rename a repository but it will preserve backwards compatibility to all people that are still have an old clone. I think they simply redirecting everything that goes to the old name to the new one. Such a feature would be great for the docker-registry as well.