Daniel Shahaf wrote on Tue, Jul 10, 2012 at 09:46:55 +0100: > Pending rmuir@'s feedback, then, I'll go ahead and edit the revision > file in-place. No change should be needed to any of the svn mirrors.
I have now made the following edit: s/modify-file/ add-file / svnsync has successfully synced r1356317. (As I write this, the post-commit fs processing is still running; 'current' on harmonia (the mirror) was updated at 13:24:29 UTC.) I do not plan to edit rep-cache.db to remove references to the rep of the file in question. I am not opening an svn bug yet as there is no evidence that the bug was in svn (as opposed to, say, a single bit flip in svn_fs_path_change_kind_t). Thanks all. Daniel
