add gdd to delete git local and remote branch

This commit is contained in:
Noah Masur 2024-09-25 16:58:42 -04:00
parent 46bbd2c967
commit cdb9da9c50
No known key found for this signature in database

View File

@ -113,6 +113,7 @@ in
gpd = "git push origin -d";
gbd = "git branch -d";
gbD = "git branch -D";
gdd = "git-delete-both";
gr = "git reset";
grh = "git reset --hard";
gm = "git merge";
@ -158,6 +159,13 @@ in
and git branch -D $branch
'';
};
git-delete-both = {
argumentNames = "branch";
body = ''
git push origin -d $branch
git branch -d $branch
'';
};
git-merge-fuzzy = {
body = ''
set branch (git-fuzzy-branch "merge from...")