svnwcsub - wc root removed (was: Uwe Schindler: (INFRA-6428) Remove .../core/old_versioned_docs hack)

Suppose svnwcsub has a mapping $DIR <-> $URL and svnpubsub says that
$URL (or a parent thereof) has been deleted. Should svnwcsub delete
$DIR? (And what should it do if it contains unversioned files?
Unversioned files which are svn:ignore'd? Nested working copies?)

----- Forwarded message from "Uwe Schindler (JIRA)" <jira_at_apache.org> -----

> From: "Uwe Schindler (JIRA)" <jira_at_apache.org>
> Subject: [jira] [Created] (INFRA-6428) Remove
> http://lucene.apache.org/core/old_versioned_docs hack
> To: infrastructure-issues_at_apache.org
> Date: Fri, 21 Jun 2013 11:49:19 +0000 (UTC)
> Reply-To: infrastructure_at_apache.org
> Message-ID: <JIRA.12654129.1371815288168.154508.1371815359911_at_arcas>
>
> We removed the corresponding SVN tree (svn rm https://svn.apache.org/repos/asf/lucene/old_versioned_docs), but it does not disappear from web. It must be in some configuration of the svn web checkout.
>
> Please remove all existence of old_versioned_docs in the lucene website.

----- End forwarded message -----
Received on 2013-06-21 14:02:09 CEST