Re: [webkit-dev] hook to re-author commit queue patches seems broken/off

2011-06-20 Thread William Siegrist
No, the server is fine. That change was committed by mrobin...@igalia.com, 
which is not a committer address, so no rewriting was performed. 

-Bill


On Jun 20, 2011, at 2:49 PM, Eric Seidel wrote:

> I think svn.webkit.org has been having some troubles today.  I know
> there was some discussion of SSL errors involving svn.webkit.org in
> #webkit.   wsiegrist maintains the hook (it's not even in the
> repository iirc).
> 
> -eric
> 
> On Mon, Jun 20, 2011 at 2:40 PM, David Levin  wrote:
>> For example, this patch http://trac.webkit.org/changeset/89287 says it is
>> by commit-qu...@webkit.org but it should say mrobin...@webkit.org.
>> dave
>> 
>> 
>> ___
>> webkit-dev mailing list
>> webkit-dev@lists.webkit.org
>> http://lists.webkit.org/mailman/listinfo.cgi/webkit-dev
>> 
>> 

___
webkit-dev mailing list
webkit-dev@lists.webkit.org
http://lists.webkit.org/mailman/listinfo.cgi/webkit-dev


Re: [webkit-dev] hook to re-author commit queue patches seems broken/off

2011-06-20 Thread Eric Seidel
I think svn.webkit.org has been having some troubles today.  I know
there was some discussion of SSL errors involving svn.webkit.org in
#webkit.   wsiegrist maintains the hook (it's not even in the
repository iirc).

-eric

On Mon, Jun 20, 2011 at 2:40 PM, David Levin  wrote:
> For example, this patch http://trac.webkit.org/changeset/89287 says it is
> by commit-qu...@webkit.org but it should say mrobin...@webkit.org.
> dave
>
>
> ___
> webkit-dev mailing list
> webkit-dev@lists.webkit.org
> http://lists.webkit.org/mailman/listinfo.cgi/webkit-dev
>
>
___
webkit-dev mailing list
webkit-dev@lists.webkit.org
http://lists.webkit.org/mailman/listinfo.cgi/webkit-dev


[webkit-dev] hook to re-author commit queue patches seems broken/off

2011-06-20 Thread David Levin
For example, this patch http://trac.webkit.org/changeset/89287 says it is
by commit-qu...@webkit.org but it should say mrobin...@webkit.org.

dave
___
webkit-dev mailing list
webkit-dev@lists.webkit.org
http://lists.webkit.org/mailman/listinfo.cgi/webkit-dev