Je ne peux pas supprimer origin/masterde 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/masterle remplacer, en remplaçant efficacement l'ancien par le nouveau.