git push origin --delete branch_or_tag_to_delete