Hi subversion list! I would like to move a whole project to another name. Let's say, I have the project right now with a name called "hello", and I would like to move its name to "world", which commands would I have to issue? Afterwards each user should be able to check it out with this new name "world", not anymore with the repository-name "hello".
Oh, and by the way all previous check-ins should still be accessible, so I don't want to create a new repository and copy all files and afterwards delete the old one, but simply rename it. Thanks for every hint in advance. Kind regards, Dennis