From: Simon Ruderich <simon@ruderich.org>
Date: Sun, 4 Jun 2023 05:13:33 +0000 (+0200)
Subject: vcs: gitconfig: add pf alias for force pushes (with lease)
X-Git-Url: https://ruderich.org/simon/gitweb/?a=commitdiff_plain;h=e5f0ee9f7010477adac5b4379537e38a65949a13;p=config%2Fdotfiles.git

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

diff --git a/vcs/gitconfig.in b/vcs/gitconfig.in
index 1c42cdf..e7d0893 100644
--- 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 \