Fixed merged commits in GitHub Mirror
28 Jul
2021
28 Jul
'21
6:25 p.m.
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
1564
Age (days ago)
1564
Last active (days ago)
0 comments
1 participants
participants (1)
-
Jonathan Bedard