[webkit-dev] gap in github WebKit mirror?

[Osztrogonác Csaba]

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)

Ossy

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