Remove unused git aliases, add one useful

2018-07-02 08:33:46 +02:00
parent 02bb1aff04
commit d85d782b17
1 changed files with 1 additions and 2 deletions
@@ -157,9 +157,8 @@ alias gc='git commit -v'
 alias gd='git di'
 alias gdc='gd --cached'
 alias gdm='gd master --stat --relative'
-alias gl='git pull'
-alias gp='git push'
 alias gst='git status'
+alias grm='git fetch origin master && git rebase origin/master && git push -f'

 # sudo
 alias sudo='sudo -E '