[webkit-dev] Git mirror out of sync?

[William Siegrist]

Yes, I'm working on it. Git-svn refuses to get past r93167, I've tried a few things, nothing has worked so far. Unfortunately I have no ETA to give you. 

-Bill



On Aug 18, 2011, at 9:05 AM, Andras Becsi wrote:

> 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
> _______________________________________________
> webkit-dev mailing list
> webkit-dev at lists.webkit.org
> http://lists.webkit.org/mailman/listinfo.cgi/webkit-dev