From 0800a2ada45d2cf78601af2e5d8316dc4b948740 Mon Sep 17 00:00:00 2001
From: Pierre Martin <pierre@front-commerce.com>
Date: Wed, 14 Sep 2022 10:59:27 +0200
Subject: [PATCH] =?UTF-8?q?feat(git):=20add=20`pushf`=20alias=20for=20forc?=
 =?UTF-8?q?e=20pushing=20with=20style=20and=20respect=20=F0=9F=98=8E?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 programs/git.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/programs/git.nix b/programs/git.nix
index 9a00072..c04edcc 100644
--- a/programs/git.nix
+++ b/programs/git.nix
@@ -10,6 +10,7 @@
 
     aliases = {
       co = "checkout";
+      pushf = "push --force-with-lease --force-if-includes";
       mr = "!sh -c 'git fetch $1 merge-requests/$2/head:mr-$1-$2 && git checkout mr-$1-$2' -";
     };