![]() When I force pushed via the Git panel and noticed that `git push --force` command got logged at the bottom. I wanted to add an option to use `--force-with-lease` instead. However, upon investigation, it seems `--force-with-lease` is already being used for the executed command: |
||
---|---|---|
.. | ||
src | ||
Cargo.toml | ||
LICENSE-GPL |