Writing this down so I don’t have to keep looking it up after I merge my branch …
git push --delete <remote_name> <branch_name>
git branch -d <branch_name>
Writing this down so I don’t have to keep looking it up after I merge my branch …
git push --delete <remote_name> <branch_name>
git branch -d <branch_name>