It happens sometimes: You'd like to rename your SVN repository. Well simply
renaming the directory on the server won't do the trick.
Thanks to Miky Dinescu's post,
we find that the best way to do this is use
svnadmin dump and
to export, and import the old repository …