git: Add aliases for git pushes

2020-03-04 11:35:30 +01:00
parent ac2de81fa5
commit 96f1d3b9b0
1 changed files with 2 additions and 0 deletions
--- a/git/gitconfig.j2
+++ b/git/gitconfig.j2
@@ -26,6 +26,8 @@
    df = "diff"
    gr = "! git graph"
    ap = "add --patch"
+    p = "push"
+    pf = "push --force"

    k = "!gitk --all"