From d85d782b1759f4eb82ae8032f588e99d623c99a5 Mon Sep 17 00:00:00 2001
From: Artem Sheremet <dot.doom@gmail.com>
Date: Mon, 2 Jul 2018 08:33:46 +0200
Subject: [PATCH] Remove unused git aliases, add one useful

---
 .bashrc | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/.bashrc b/.bashrc
index 5eac197..57dbd76 100644
--- a/.bashrc
+++ b/.bashrc
@@ -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 '