From 61d1bc6d67d3d723ca702ed25bb68288ee157034 Mon Sep 17 00:00:00 2001
From: Schrottkatze <git@schrottkatze.de>
Date: Mon, 20 Nov 2023 19:44:21 +0100
Subject: [PATCH] shorten git pull alias to something i'm used to

---
 other/config.nu | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/other/config.nu b/other/config.nu
index 4785398..08814e0 100644
--- a/other/config.nu
+++ b/other/config.nu
@@ -814,5 +814,5 @@ alias ga = git add;
 alias gc = git commit;
 alias gca = git commit --all;
 alias gp = git push;
-alias gpl = git pull;
+alias gl = git pull;
 alias gs = git status;