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/