As another commented mentioned, `git push --force-with-lease` is a better way of doing this. But [as I recently wrote about](https://www.jvt.me/posts/2018/09/18/safely-force-git-push/), its safer to have a `ref` as well, ie `HEAD`, so you're instead running ie `git push --force-with-lease=HEAD`