Mon
Aug
18
delete a remote git branch
git push origin :branch
