no support for changing the remote repository
|Reported by:||Jeff Hammel||Owned by:||Jeff Hammel|
if the repository_url is changed, the SvnsyncPlugin will not correctly pick up the change and will stupidly try to sync to the new repository (can't imagine that working). instead, <directory>/db/rev_props/<?> should be examined to see if the correct repository is used. Currently, to pick another repo, the directory should be deleted until this bug is fixed.
Also to consider: do you delete the directory if the repo is changed? (Probably, I think) Move it? (How to canonically do this? No way, so it must be wrong ;)