Git/Remove branch in public repository

% git push REMOTE :BRANCH

It means push nothing to BRANCH at REMOTE, effectively removing it.