On Thu, 26 Mar 2026 08:03:46 +0100, Bo Berglund <[email protected]> wrote:
>Do I have to dump the entire repo and load it on the mirror server in a >different dir (rename the old repo, create a new by the same name and then load >the full dump)? No that was not needed! It turned out that ChatGPT managed to steer me in the right direction and discover a lingering property in the mirror server. svn propget svn:sync-currently-copying --revprop -r 0 https://<myrepoaddress> 3536 So there was this blocking other actions. Had to be deleted: svn propdel svn:sync-currently-copying --revprop -r 0 https://<myrepoaddress> property 'svn:sync-currently-copying' deleted from repository revision 0 svn propget svn:sync-last-merged-rev --revprop -r 0 <myrepoaddress> 3538 After this action it was possible to return to normal operations. Case resolved. -- Bo Berglund Developer in Sweden
