URL:
<https://savannah.nongnu.org/support/?110462>
Summary: Renaming from master to main branch in git
repository
Project: Savannah Administration
Submitted by: stamer
Submitted on: Sat 20 Mar 2021 01:14:24 PM CET
Category: Source code repositories - developer access
Priority: 5 - Normal
Severity: 3 - Normal
Status: None
Assigned to: None
Originator Email:
Operating System: None
Open/Closed: Open
Discussion Lock: Any
_______________________________________________________
Details:
Recently I've renamed the current branch from "master" to main in the git
repository of my project LibTMCG. However, I cannot delete the old "master"
branch:
$ git push origin --delete master
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 git.sv.gnu.org:/srv/git/libtmcg.git
! [remote rejected] master (deletion of the current branch prohibited)
Please, can you delete the master branch?
_______________________________________________________
Reply to this item at:
<https://savannah.nongnu.org/support/?110462>
_______________________________________________
Message sent via Savannah
https://savannah.nongnu.org/
