[webkit-dev] gap in github WebKit mirror?

Osztrogonác Csaba oszi at inf.u-szeged.hu
Mon Apr 8 07:16:19 PDT 2013

Hi Simon,

http://trac.webkit.org/changeset/147258 changed branches/chromium/1453
http://trac.webkit.org/changeset/147259 changed branches/dfgFourthTier

These commits changed different branches, not the trunk. And only
trunk is in the git mirrors. (git.webkit.org and github mirror too)


Simon Hausmann írta:
> Hi,
> I'm a bit puzzled as I look at my local clone of 
> https://github.com/WebKit/webkit.git to see that the commits between r147257 
> and r147260 appear to be missing. The web interface appears to indicate that 
> this is also the case on github itself.
> Does anyone know what could cause this?
> Simon

More information about the webkit-dev mailing list