[webkit-dev] Fixed merged commits in GitHub Mirror
jbedard at apple.com
Wed Jul 28 11:25:21 PDT 2021
Last Friday, git-svn failed us and merged two commits together (this was the cause of the incorrect commits.webkit.org <http://commits.webkit.org/> links folks saw over the last few days). I’ve fixed it, but that fix involves force-pushing, if you have a GitHub checkout, you might need to `git reset HEAD~125 —hard` and re-pull to fix the problem (be aware of local commits you may have, because `git reset —hard` will throw those out).
Thank you for your patience,
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the webkit-dev