[webkit-dev] git.webkit.org problem
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:
>> 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.
More information about the webkit-dev