From 5e8cd5b1cf3222b8a07aa9227f5f6827895cf4df Mon Sep 17 00:00:00 2001
From: Tony Grosinger <tony@grosinger.net>
Date: Sun, 15 Oct 2023 08:34:38 -0700
Subject: [PATCH] Add git alias for push with lease

---
 .gitconfig | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitconfig b/.gitconfig
index 8becae8..0bbdec0 100644
--- a/.gitconfig
+++ b/.gitconfig
@@ -17,6 +17,7 @@
     cf = commit --fixup
     aq = commit --amend --no-edit
     c = commit
+    pf = push --force-with-lease
     s = status -sb
     b = branch
     pp = log --color --graph --pretty=format:'%Cred%h%Creset %Cgreen(%cr) %Creset\t%s %C(bold blue)<%an> %C(yellow)%d%Creset' --abbrev-commit