https://stackoverflow.com/questions/2003505/how-do-i-delete-a-git-branch-locally-and-remotely https://stackoverflow.com/a/47696235/778517 git push -d origin git branch -d or git branch -D