delete branch on remote after merge

This commit is contained in:
Adam Wilson
2025-08-21 12:55:29 -06:00
parent 586c4d5115
commit fc1108e1ca
+3 -1
View File
@@ -18,7 +18,7 @@ echo "performing 'git pull'"
git pull
echo -e "${BLUE}🔄 Fetching all remote branches...${NC}"
git fetch --all
git fetch --all --prune
echo -e "${BLUE}🔍 Finding auto-generated batch branches...${NC}"
echo
@@ -84,6 +84,8 @@ echo "$batch_branches" | while read -r branch; do
else
echo -e "${GREEN}✅ Successfully merged $branch${NC}"
fi
echo -e "${BLUE}🗑️ Deleting remote branch ${GREEN}$branch${NC}...${NC}"
git push origin --delete "$branch"
fi
done