Deleting a remote branch

git push origin :feature_a

NOTE: remember to type the colon mark.

According to the spec, we don’t necessary to name the local branch and remote branch the same name.

git push <remote name> <local branch name>:<remote branch name>

For example:

git push origin new_styles:dev_styles

Your local branch may not meet the team standard convention, you can rename it when pushing to the remote branch.

The same spec, when we ignore the local branch name, it acts as a deletion of remote branch. You may imagine that is pushing a void/null to the remote branch, and thus make the remote branch get deleted.