vcs: gitconfig: add pf alias for force pushes (with lease)

diff --git a/vcs/gitconfig.in b/vcs/gitconfig.in
index 1c42cdfd28230dfa34aac67dd9f1ba97fed27ef0..e7d0893515a1c0b8f08967bdb8827994f15c988c 100644 (file)
--- a/vcs/gitconfig.in
+++ b/vcs/gitconfig.in
@@ -102,6 +102,7 @@
        f   = fetch
        t   = tag
        p   = push
+       pf  = push --force-with-lease
        # Parallel git remote update. Also strips unnecessary output.
        ru = "! git remote \
              | xargs -d '\\n' -n1 -P0 git remote update 2>&1 \