Git delete

https://stackoverflow.com/questions/2003505/how-do-i-delete-a-git-branch-both-locally-and-remotely
git checkout master

git branch -D <branch_name>

git push <remote.git> --delete <branch_name>