[webkit-dev] gap in github WebKit mirror?
oszi at inf.u-szeged.hu
Mon Apr 8 07:16:19 PDT 2013
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:
> 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?
More information about the webkit-dev