Sto tentando di eliminare un ramo remoto. Ho 4 anni e non l'ho mai usato. Ho seguito le istruzioni che ho trovato su SF e su altri siti, tuttavia il comando come dato si rifiuta di funzionare.
Il risultato di git branch -r è:
origin/dev
origin/master
origin/maxxo_rspec_reorg
E così, il comando come ho capito per eliminare quel ramo remoto è:
git push origin --delete maxxo_rspec_reorg
Enter passphrase for key '/Users/me/.ssh/id_rsa_me':
Questa è la parte sfortunata:
error: unable to delete 'maxxo_rspec_reorg': remote ref does not exist
error: failed to push some refs to '[email protected]:myuser/myapp.git'
Questo è chiaramente non vero affatto. Il ramo remoto esiste. Mi riferisco erroneamente al nome del ramo in qualche modo? Ho provato a farlo precedere da "origin /" ma non ha funzionato neanche.