id,summary,reporter,owner,description,type,status,priority,component,severity,resolution,keywords,cc,release 3096,no support for changing the remote repository,Jeff Hammel,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, /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 ;)",defect,closed,high,SvnsyncPlugin,normal,fixed,,,0.11