This sounds like a really simple issue, but I did not find out how to do it. I want to rename a working copy and then continue using it with the old URL. There are many ways to change the URL of a working copy, but not the other way round.
Of course, I can do a fresh checkout in the new location. But this working copy is so large that I rather would like to simply do a mv or a local rsync to rename it. Thank you for hints.
pgpmKcPRlTg0W.pgp
Description: PGP signature
