[Savannah-hackers-public] "deleting the current branch is denied"

[Ben Pfaff]

I pushed commits that I hadn't intended to "master" in the PSPP
repository.  OK, so I tried to delete that branch so that I can
recreate it with the correct contents, but Savannah won't let me:

    address@hidden:~/pspp/master(141)$ git push origin :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 t
    remote: error: 'warn' or 'ignore' in the remote repository to allow 
deleting th
    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 address@hidden:/srv/git/pspp.git
     ! [remote rejected] master (deletion of the current branch prohibited)
    error: failed to push some refs to 'address@hidden:/srv/git/pspp.git'
    address@hidden:~/pspp/master(1)$ git push origin 
+0c02b02272c51e3d00382cf7c9716402c047507b:master
    Total 0 (delta 0), reused 0 (delta 0)
    remote: error: denying non-fast-forward refs/heads/master (you should pull 
first)
    To address@hidden:/srv/git/pspp.git
     ! [remote rejected] 0c02b02272c51e3d00382cf7c9716402c047507b -> master 
(non-fast-forward)
    error: failed to push some refs to 'address@hidden:/srv/git/pspp.git'

Can someone please update the config for the PSPP repository to
allow me to fix this?  http://savannah.gnu.org/maintenance/UsingGit
does say that deleting a branch should be possible.

Thanks,

Ben.
-- 
Ben Pfaff 
http://benpfaff.org