CODE EXAMPLE FOR SHELL

delete git branch from remote

git push origin --delete <your remote branch name>