Can I undo the last git push?

Thanks Don, I’d seen that but somehow hadn’t realised it fixed my problem, because I only have one branch.

I did:

git push -f origin 5910117a8fc2c71334251465b54d6d9daeb28d1c:master

And it’s all back to how it was.