I added a new command to force push more safely, and I was wondering if there’s a way to add that to the Push Options dropdown menu.
FWIW, this is the command I added:
{
"caption": "Safe force push ",
"command": "git",
"args": {
"argv": ["push", "--force-with-lease", "--force-if-includes"],
},
},