[webkit-dev] git.webkit.org problem

William Siegrist wsiegrist at apple.com
Thu Mar 1 11:13:36 PST 2012

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. 


More information about the webkit-dev mailing list