Sto cercando di rimuovere un ramo remoto con git:
rpinson@rpinson:~/dev/charismanie$ git remote show origin
* remote origin
Fetch URL: git@github.com:raphink/Charismanie.git
Push URL: git@github.com:raphink/Charismanie.git
HEAD branch: xetex
Remote branches:
master tracked
xetex tracked
Local branch configured for 'git pull':
master merges with remote master
Local ref configured for 'git push':
master pushes to master (up to date)
rpinson@rpinson:~/dev/charismanie$ git push origin :xetex
remote: error: refusing to delete the current branch: refs/heads/xetex
To git@github.com:raphink/Charismanie.git
! [remote rejected] xetex (deletion of the current branch prohibited)
error: failed to push some refs to 'git@github.com:raphink/Charismanie.git'
Esiste un modo per rimuovere questo ramo dall'elenco di "Rami remoti" in modo da poterlo rimuovere?