From a50ea1d3360d0bb279d177ce4fff1a4279b006fd Mon Sep 17 00:00:00 2001 From: Oliver Davies Date: Wed, 28 May 2025 13:16:43 +0100 Subject: [PATCH] Add an abbreviation for pushing Git tags --- modules/home-manager/cli/zsh/abbreviations.nix | 1 + 1 file changed, 1 insertion(+) diff --git a/modules/home-manager/cli/zsh/abbreviations.nix b/modules/home-manager/cli/zsh/abbreviations.nix index 5820aa5f..568add15 100644 --- a/modules/home-manager/cli/zsh/abbreviations.nix +++ b/modules/home-manager/cli/zsh/abbreviations.nix @@ -55,6 +55,7 @@ gplr = "git pull --rebase"; gpo = "git push origin"; gpom = "git push origin main"; + gpt = "git push --tags"; gr = "git rebase"; gra = "git rebase --abort"; grc = "git rebase --continue";