Re: [webkit-dev] git and svn out of sync?

[William Siegrist]

The git repo should be in sync within a minute after each commit, though there 
is no transactional guarantee that they are always in sync. If something 
crashes during the sync, it won't retry until the next svn commit. 

-Bill



On Jan 2, 2011, at 12:36 PM, Robert Hogan wrote:

> Looks like this was a false alarm. The revision is now in git. 
> 
> It took an awfully long time to sync though. Was there a problem, or does 
> the git repo wait for a minimum number of revisions before sync'ing?
> 
> On Sunday 02 January 2011 18:47:40 Robert Hogan wrote:
>> Hi,
>> 
>> I committed http://trac.webkit.org/changeset/74869 from a git-svn
>> checkout.
>> 
>> The change hasn't propagated to git.webkit.org for some reason.
>> 

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

Re: [webkit-dev] git and svn out of sync?

[Robert Hogan]

Looks like this was a false alarm. The revision is now in git. 

It took an awfully long time to sync though. Was there a problem, or does 
the git repo wait for a minimum number of revisions before sync'ing?

On Sunday 02 January 2011 18:47:40 Robert Hogan wrote:
> Hi,
> 
> I committed http://trac.webkit.org/changeset/74869 from a git-svn
> checkout.
> 
> The change hasn't propagated to git.webkit.org for some reason.
> 
> My git-svn copy is set up to point directly to
> refs/remotes/origin/master per the recommendation in:
> 
> https://trac.webkit.org/wiki/UsingGitWithWebKit#Updating
> 
> I landed the commit with:
> 
> Tools/Scripts/webkit-patch --ignore-builders --git-commit=HEAD land
> 
> and encountered no errors:
> 
> rob...@mwenge:~/Development/WebKit$ Tools/Scripts/webkit-patch --ignore-
> builders --git-commit=HEAD land
> [webkit.py autoinstall messages snipped]
> Parsing ChangeLog: /home/robert/Development/WebKit/Tools/ChangeLog
> No bug id provided and --reviewer= not provided.  Not updating
> ChangeLogs with reviewer.
> Parsing ChangeLog: /home/robert/Development/WebKit/Tools/ChangeLog
> Committed r74869: 
> Committed r74869: 
> No bug id provided.
> 
> Hopefully no-one else commits before this becomes too difficult to
> repair..
> 
> Let me know if I can provide any more clues.
> 
> Thanks,
> Robert
> ___
> 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] git and svn out of sync?

[Robert Hogan]

Hi,

I committed http://trac.webkit.org/changeset/74869 from a git-svn checkout. 

The change hasn't propagated to git.webkit.org for some reason.

My git-svn copy is set up to point directly to refs/remotes/origin/master 
per the recommendation in:

https://trac.webkit.org/wiki/UsingGitWithWebKit#Updating

I landed the commit with:

Tools/Scripts/webkit-patch --ignore-builders --git-commit=HEAD land

and encountered no errors:

rob...@mwenge:~/Development/WebKit$ Tools/Scripts/webkit-patch --ignore-
builders --git-commit=HEAD land
[webkit.py autoinstall messages snipped]
Parsing ChangeLog: /home/robert/Development/WebKit/Tools/ChangeLog
No bug id provided and --reviewer= not provided.  Not updating ChangeLogs 
with reviewer.
Parsing ChangeLog: /home/robert/Development/WebKit/Tools/ChangeLog
Committed r74869: 
Committed r74869: 
No bug id provided.

Hopefully no-one else commits before this becomes too difficult to repair..

Let me know if I can provide any more clues.

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