tomcat-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Mark Thomas <>
Subject Re: [PROPOSAL] Move to svnpubsub for /dist/tomcat
Date Tue, 24 May 2011 16:56:47 GMT
On 18/05/2011 17:33, William A. Rowe Jr. wrote:
> On 5/18/2011 9:22 AM, Mark Thomas wrote:
>> On 18/05/2011 15:06, Konstantin Kolinko wrote:
>>> 2011/5/18 Mark Thomas <>:
>>>> All,
>>>> We have the option to move to svnpubsub for managing our releases.
>>>> Rather than copying artefacts to people.a.o and then waiting for rsync
>>>> (every around 2 hours) we would commit the artefacts to svn and a commit
>>>> hook would update the /dist/tomcat area on the www servers immediately.
>>>> If folks would like to go this route, I am happy to do the work on our
>>>> end to migrate /dist/tomcat to svnpubsub.
>>> 1. In what repository will the artifacts go?
>>> IIRC, there is some additional repository. I think it wouldn't be good
>>> to have them in /repos/asf/
>> There is a separate /dist repo
>  dev and release, with tomcat as a
> new tree under each.

Ah. I had forgotten our dev dist dir. This is currently:

Given the age of the items there, I propose that the contents of that
dir are not retained when we move to svnpusub for dist.

Assuming no objections, I'll progress this with infra in the next week
or so.


To unsubscribe, e-mail:
For additional commands, e-mail:

View raw message