@nedbat That's right, everyone do git push --force instead!

[ducks, runs]

🙂