[webkit-dev] github.com repository force push

Aakash Jain aakash_jain at apple.com
Fri Mar 19 15:30:56 PDT 2021

Hi everyone,

We had little bit of issue with syncing between WebKit's github and svn repositories. To fix the issue, we had to force push and modify few git commits.

In case you notice any conflict in your github.com <http://github.com/> checkout of WebKit repo (which might be because of having one of those commits which we modified), please do the following: "git reset --hard HEAD~100", "git pull".

Please let me know if you face any issues.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.webkit.org/pipermail/webkit-dev/attachments/20210319/d51515b2/attachment.htm>

More information about the webkit-dev mailing list