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/


Reply via email to