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
re
On Thu, Nov 26, 2020 at 11:33 PM Adrien Destugues via webkit-dev <
webkit-dev@lists.webkit.org> wrote:
>
> 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?
>
We're active
2 matches
Mail list logo
