Re: [webkit-dev] GitHub Clone Published

2020-12-15 Thread Jonathan Bedard via webkit-dev
To provide a short update: Thanks to Fuji Hironori who pointed out a class of contributors which were not properly imported. Re-writing history again to correct these cases. This does mean that the history on https://github.com/WebKit/Webkit will be changing a

[webkit-dev] GitHub Clone Published

2020-12-14 Thread Jonathan Bedard via webkit-dev
Hello contributors, This morning, I just finished pushing main with re-written history to https://github.com/WebKit/WebKit . Nothing is yet relying on this new repository yet, so we still have an opportunity to change things. In particular, I’m interested in ma