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)" <j...@apache.org> ----- > From: "Uwe Schindler (JIRA)" <j...@apache.org> > Subject: [jira] [Created] (INFRA-6428) Remove > http://lucene.apache.org/core/old_versioned_docs hack > To: infrastructure-iss...@apache.org > Date: Fri, 21 Jun 2013 11:49:19 +0000 (UTC) > Reply-To: infrastruct...@apache.org > Message-ID: <JIRA.12654129.1371815288168.154508.1371815359911@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 -----
