Non riesco a rimuovere origin/master
dal mio server. Non ho idea del perché.
Il messaggio di errore è il seguente
remote: error: By default, deleting the current branch is denied, because the next
remote: error: 'git clone' won't result in any file checked out, causing confusion.
remote: error:
remote: error: You can set 'receive.denyDeleteCurrent' configuration variable to
remote: error: 'warn' or 'ignore' in the remote repository to allow deleting the
remote: error: current branch, with or without a warning message.
remote: error:
remote: error: To squelch this message, you can set it to 'refuse'.
remote: error: refusing to delete the current branch: refs/heads/master
To acanzian@elab.ecn.purdue.edu:/export/home/a/elabshare/git/ID-check.git
! [remote rejected] master (deletion of the current branch prohibited)
error: failed to push some refs to 'acanzian@elab.ecn.purdue.edu:/export/home/a/elabshare/git/ID-check.git'
No, io sto non usando Github .
master
e l'abbiamo fatto su un ramo temporale che ora dovrebbe diventare master
. L'unico problema è che non so perché non riesco a uccidere il master sul server.
master
a origin/master
, sostituendo efficacemente il vecchio con il nuovo.