Suppose that a local repository is created. svn checkout http://a.b.c/d
Various updates are completed. Then the server moves to x.y.z and continues to operate as usual. Is there any way for the adminstrator of the local repository to revise the URI recorded in the local client? Must the local repository can be deleted and created again? cd <path> rm -r d svn checkout http://x.y.z/d Thanks, ... Peter E.