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:
blp@blp:~/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 b...@git.sv.gnu.org:/srv/git/pspp.git
! [remote rejected] master (deletion of the current branch prohibited)
error: failed to push some refs to 'b...@git.sv.gnu.org:/srv/git/pspp.git'
blp@blp:~/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 b...@git.sv.gnu.org:/srv/git/pspp.git
! [remote rejected] 0c02b02272c51e3d00382cf7c9716402c047507b -> master
(non-fast-forward)
error: failed to push some refs to 'b...@git.sv.gnu.org:/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
_______________________________________________
pspp-dev mailing list
pspp-dev@gnu.org
https://lists.gnu.org/mailman/listinfo/pspp-dev
