Ich kann nicht origin/master
von meinem Server entfernen . Keine Ahnung warum.
Die Fehlermeldung lautet wie folgt
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'
Nein, ich bin nicht mit Github .
master
, und wir haben es auf einem zeitlichen Zweig gemacht, der jetzt werden sollte master
. Das einzige Problem ist, dass ich nicht weiß, warum ich den Master auf dem Server nicht töten kann.
master
zu origin/master
, effektiv ersetzen die alte mit der neuen ein.