summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorHendrik Jäger <hendrik@securosys.ch>2020-11-05 14:29:12 +0100
committerHendrik Jäger <hendrik@securosys.ch>2020-11-05 14:29:12 +0100
commit8dd32849d857bed785f64ecae42d9d0e8e843ad9 (patch)
tree818aec81be58f380ed347916cf88f67bb3779dda
parent679cc91a2dec03c25ff7316713c5ae2a6760e43e (diff)
Add 'please' alias
-rw-r--r--.config/git/config1
1 files changed, 1 insertions, 0 deletions
diff --git a/.config/git/config b/.config/git/config
index 6db954e..35c05f4 100644
--- a/.config/git/config
+++ b/.config/git/config
@@ -31,6 +31,7 @@
r = reset
cp = cherry-pick
gr = grep -Ii
+ please = push --force-with-lease
# }}}
# tweak defaults {{{
diff = diff --word-diff