Dumb git question

Stream: mathlib4

[Michael Stoll]

By some mistake, my local master branch of Mathlib has two extra commits (that cancel each other out). Now whenever I make a new branch for a PR, the PR then shows these two commits at the beginning (e.g., #13510).
How do I get my local master back in sync with origin/master? (I tried git reset --hard, but that did not throw away these commits. I could set up a fresh clone, but there should be a better way I assume.)

[Oliver Nash]

I think git reset origin/master --hard should work.

[Johan Commelin]

You can pass origin/master as arg...

[Oliver Nash]

Be sure you don't have local changes you want to keep! See also https://xkcd.com/1597/

[Michael Stoll]

Thanks! This seems to have worked.