I\'d like to delete a remote branch from my central git repository. The usual advice is to do \'git push origin :branchname\' or \'git push origin :heads/branchname\'. But
You might have to log into your remote repository and delete the branch manually (ie - from the file system).