From eb6c1d06f8a74b3fd3d903781f511936c49d07de Mon Sep 17 00:00:00 2001
From: Gustaf Rydholm <gustaf.rydholm@gmail.com>
Date: Wed, 21 Feb 2024 23:56:15 +0100
Subject: Add alias for git push and pull

---
 .config/shell/aliasrc | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.config/shell/aliasrc b/.config/shell/aliasrc
index b6d2fe4..5026e44 100755
--- a/.config/shell/aliasrc
+++ b/.config/shell/aliasrc
@@ -53,7 +53,8 @@ alias \
 	gl="git log" \
 	gm="git merge" \
 	gw="git worktree" \
-  gp="git pull"
+  gpl="git pull" \
+  gph="git push"
 
 # Pushing to multiple git repositories
 alias gua="git remote | xargs -L1 git push --all"
-- 
cgit v1.2.3-70-g09d2