cpengr wrote on Tue, Feb 09, 2016 at 18:17:36 -0500:
> Questions:
> 2. How can I delete this directory tree?
Try 'svn unlock --force' and 'svn rm' with URL arguments, e.g.,
svn unlock --force svn://svn/junk
svn rm svn://svn/junk
> 1. How did this happen?
> 3. Do I need to take further action to report the issue, so the developers
> can prevent this trouble for others in the future?
I can't find it right now, but I think we already have an issue filed
for this problem; see:
https://subversion.apache.org/reporting-issues.html#queries
Cheers,
Daniel
