I want to change "ggf" from git push --force origin $(current_branch) to git push --force-with-lease origin $(current_branch), I know that "ggff" exists, but still want to change it.

Please help.