// delete branch locally
git branch -d <localBranchName>
// delete branch remotely
git push origin --delete <remoteBranchName>
More at: https://www.freecodecamp.org/news/how-to-delete-a-git-branch-both-locally-and-remotely/
// delete branch locally
git branch -d <localBranchName>
// delete branch remotely
git push origin --delete <remoteBranchName>
More at: https://www.freecodecamp.org/news/how-to-delete-a-git-branch-both-locally-and-remotely/