[webkit-dev] git.webkit.org problem

William Siegrist wsiegrist at apple.com
Thu Mar 1 11:49:48 PST 2012


On Mar 1, 2012, at 11:13 AM, William Siegrist <wsiegrist at apple.com> wrote:

> 
> 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. 
> 

The Szeged slaves are unblocked. 

-Bill





More information about the webkit-dev mailing list