From 7584f692975bc919094601ae9e01223ed2ece481 Mon Sep 17 00:00:00 2001 From: Jan Weidner Date: Mon, 21 Sep 2020 10:33:34 +0200 Subject: [PATCH] Update deutsch.sh --- deutsch.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deutsch.sh b/deutsch.sh index e0408b3..3886159 100755 --- a/deutsch.sh +++ b/deutsch.sh @@ -4,7 +4,7 @@ git config --local alias.machnach clone git config --local alias.zieh pull git config --local alias.fueghinzu add git config --local alias.drueck push -git config --local alias.pfusch push --force +git config --local alias.pfusch push --force-with-lease git config --local alias.zweig branch git config --local alias.verzweige branch git config --local alias.uebergib commit