Git - How to Delete a Git Branch (Local and Remote)
June 8, 2020•23 words
// 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/