Follow-up Comment #2, sr #108056 (project administration):
It still doesn't seem to be working.
git push -f origin master
gives me
remote: error: denying non-fast-forward refs/heads/master
and
git push origin :master
gives me
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
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/support/?108056>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/
