[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:

robert at 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: <http://trac.webkit.org/changeset/74869>
Committed r74869: <http://trac.webkit.org/changeset/74869>
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