Je ne peux pas supprimer origin/master
de mon serveur. Je ne sais pas pourquoi.
Le message d'erreur est le suivant
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'
Non, je n'utilise pas Github .
master
, et nous l'avons fait sur une branche temporelle qui devrait maintenant devenir master
. Le seul problème est que je ne sais pas pourquoi je ne peux pas tuer le maître sur le serveur.
master
à origin/master
le remplacer, en remplaçant efficacement l'ancien par le nouveau.