[webkit-dev] Github mirror is not updating

[Jonathan Bedard]

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, https://git.webkit.org/WebKit-https.git <https://git.webkit.org/WebKit-https.git> (secure, but different hashes than GitHub) and https://git.webkit.org/WebKit.git <https://git.webkit.org/WebKit.git> (uses the same hashes as GitHub), are up-to-date mirrors.

Jonathan

> Hi,
> 
> I noticed that the github mirror at https://github.com/webkit/webkit is not getting
> the latest commits from WebKit (it is now about a month behind). Is that intentional?
> 
> Thanks,
> -- 
> Adrien / PulkoMandy
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.webkit.org/pipermail/webkit-dev/attachments/20201130/ea43b1a6/attachment.htm>