2 more examples for git push

  # delete a remote branch
git push origin :feature/cool-thing

# alternatively
git push origin --delete feature/cool-thing