[webkit-dev] Fixed merged commits in GitHub Mirror

[Jonathan Bedard]

Morning folks,

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,

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