git branch -D <branch>
git push origin --delete <branch>
git fetch -p
https://www.freecodecamp.org/news/how-to-delete-a-git-branch-both-locally-and-remotely/
git branch -D <branch>
git push origin --delete <branch>
git fetch -p
https://www.freecodecamp.org/news/how-to-delete-a-git-branch-both-locally-and-remotely/