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
_______________________________________________ webkit-dev mailing list webkit-dev@lists.webkit.org https://lists.webkit.org/mailman/listinfo/webkit-dev
