2011/11/16: Managing git remote branches

To create a branch on the remote machine, create it locally and then

git push --set-upstream origin <branchname>

To delete a branch, first delete it locally and then

git push :<branchname>