Git: Force Push (with Lease)…

git.pushForce

Overwrite the remote branch with the local one, only if it has not moved since the last fetch.

How to run it

Open the command palette (M-x in the Emacs keymap) and search for Git: Force Push (with Lease)…, then press Enter. It has no default keybinding, but you can bind one in Settings → Keymaps.

See also