[webkit-dev] Git mirror out of sync?

Andras Becsi abecsi at inf.u-szeged.hu
Thu Aug 18 09:05:30 PDT 2011


Hi,

Seems that the git mirror is still stuck at r93166, that's almost 150  
revisions now. Does anyone have a clue what happened?

BR,
Andras

On Wed, 17 Aug 2011 23:42:21 +0200, Evan Martin <evan at chromium.org> wrote:

> (Which is to say I just tried it, and it took under a minute to sync
> past the bad revision.)
>
> On Wed, Aug 17, 2011 at 2:41 PM, Evan Martin <evan at chromium.org> wrote:
>> I'd try "git svn reset r93166" followed by "git svn fetch".  You can
>> do that from your own git checkout, no need to wait for
>> git.webkit.org.  (In theory once git.webkit.org unsticks, it will have
>> the same commits anyway so it'll be as if you had pulled it from there
>> anyway.)
>>
>> On Wed, Aug 17, 2011 at 2:25 PM, Nico Weber <thakis at chromium.org> wrote:
>>> The first non-syned revision is http://trac.webkit.org/changeset/93167
>>> , which is a huge directory move. This might just be slow to handle in
>>> git?
>>>
>>> On Wed, Aug 17, 2011 at 1:28 PM, David Levin <levin at chromium.org>  
>>> wrote:
>>>> From an irc conversation, it sounds like this is being worked on but
>>>> "git-svn just hangs, hard to tell why its broken"
>>>> dave
>>>>
>>>> On Wed, Aug 17, 2011 at 7:56 AM, Nico Weber <thakis at chromium.org>  
>>>> wrote:
>>>>>
>>>>> Hi,
>>>>>
>>>>>  git fetch origin && git log origin/master
>>>>>
>>>>> suggests that the git mirror stopped syncing at r93166. Can someone  
>>>>> kick
>>>>> it?
>>>>>
>>>>> Thanks,
>>>>> Nico
>>>>> _______________________________________________
>>>>> webkit-dev mailing list
>>>>> webkit-dev at lists.webkit.org
>>>>> http://lists.webkit.org/mailman/listinfo.cgi/webkit-dev
>>>>
>>>>
>>> _______________________________________________
>>> webkit-dev mailing list
>>> webkit-dev at lists.webkit.org
>>> http://lists.webkit.org/mailman/listinfo.cgi/webkit-dev
>>>
>>
> _______________________________________________
> webkit-dev mailing list
> webkit-dev at lists.webkit.org
> http://lists.webkit.org/mailman/listinfo.cgi/webkit-dev


More information about the webkit-dev mailing list