Not at first, but at the moment, yes, it is intentional. We are working on 
migrating WebKit to a more permanent and complete Git repository, which 
involves editing history. Because of this, we didn’t want to further the 
confusion we already have with two different sets of git hashes. The new 
repository should be pushed in the next week or two

In the mean time, 
<> (secure, but different hashes than 
GitHub) and 
<> (uses the same hashes as GitHub), are 
up-to-date mirrors.


> Hi,
> I noticed that the github mirror at is not 
> getting
> the latest commits from WebKit (it is now about a month behind). Is that 
> intentional?
> Thanks,
> -- 
> Adrien / PulkoMandy
webkit-dev mailing list

Reply via email to