J'essaie de supprimer une branche distante avec 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'
Existe-t-il un moyen de supprimer cette branche de la liste des "branches distantes" afin de la supprimer?