]> git.netwichtig.de Git - user/henk/vcsh/git.git/commitdiff
Add 'please' alias
authorHendrik Jäger <hendrik@securosys.ch>
Thu, 5 Nov 2020 13:29:12 +0000 (14:29 +0100)
committerHendrik Jäger <hendrik@securosys.ch>
Thu, 5 Nov 2020 13:29:12 +0000 (14:29 +0100)
.config/git/config

index 6db954eb056d8a2f004881d08c4bc4d59edc487e..35c05f47dafde78b5de240b6cf94724b3c2ce9dd 100644 (file)
@@ -31,6 +31,7 @@
     r = reset
     cp = cherry-pick
     gr = grep -Ii
+    please = push --force-with-lease
 # }}}
 # tweak defaults {{{
     diff = diff --word-diff