From 03904b67092c9a7a13f1ba3d92273208891c497b Mon Sep 17 00:00:00 2001
From: Gabriel Augendre <gabriel@augendre.info>
Date: Fri, 17 Feb 2023 09:25:11 +0100
Subject: [PATCH] Add pushf git alias

---
 private_dot_gitconfig.tmpl | 1 +
 1 file changed, 1 insertion(+)

diff --git a/private_dot_gitconfig.tmpl b/private_dot_gitconfig.tmpl
index 91b48c0..45f6ed5 100644
--- a/private_dot_gitconfig.tmpl
+++ b/private_dot_gitconfig.tmpl
@@ -38,6 +38,7 @@
     praise = blame
     pushbranch = ! "git push -o merge_request.create -u origin $(git rev-parse --abbrev-ref HEAD)"
     pushu = pushbranch
+    pushf = push -f
     cobf = ! "f() { git branch -D $1 && git switch -c $1; }; f"
     sw = switch
     swc = switch