[webkit-dev] git.webkit.org problem

[William Siegrist]

On Mar 1, 2012, at 9:36 AM, Osztrogonac Csaba <oszi at inf.u-szeged.hu> wrote:

> Hi,
> 
> William Siegrist írta:
>> On Mar 1, 2012, at 7:56 AM, Osztrogonac Csaba wrote:
>>> And one more technical question. Could you add an svn post-commit hook to
>>> do svnsync on the mirror svn server if we finished setting up the server?
>> How would you want svn.webkit.org to signal the mirror? I think having svn.webkit.org request a specific HTTP URL would work.  
> 
> My first idea was that I gives you ssh or something else access to the
> svn mirror and the following post-commit hook will do the synchronization:
> /usr/local/bin/svnsync synchronize --username svnsync svn+ssh://svnsync@remote/home/svnsync/svn &
> 
> But your suggestion is reasonable and more safe than mine, when svn.webkit.org does
> a specific HTTP request and then our svn mirror will start the synchronization.
> 
> Let's talk about it in private mail after we finished setting up the server.
> 
> PS. So could you unban our subnet in the near future, please?
> 


We're going to try slowly bring on more slaves soon. 

-Bill