[Savannah-help-public] git push -f

[Miles Bader]

WTF, I tried to use "git push -f" to savannah, but it wouldn't let me:

   $ git push -f sv
   Counting objects: 90, done.
   Delta compression using up to 4 threads.
   Compressing objects: 100% (70/70), done.
   Writing objects: 100% (70/70), 30.27 KiB, done.
   Total 70 (delta 50), reused 0 (delta 0)
   remote: error: denying non-fast-forward refs/heads/master (you should pull 
first)
   To ssh://git.sv.gnu.org/srv/git/snogray.git
    ! [remote rejected] master -> master (non-fast-forward)
   error: failed to push some refs to 'ssh://git.sv.gnu.org/srv/git/snogray.git'

What setting can I change to allow this?

[I did this to correct a bogus push, about 1 minute after the initial
bogus push (so little practical danger for my probably-little-followed
repo).

I know such settings are "well-meaning", but I've already
forced-pushed the corrected version to all my other remotes, and now
savannah is out of sync -- meaning that its refusal to allow the
forced push has _increased_ the danger to anybody pulling from this
repo (by significantly lengthening the window of danger until I can
get things fixed up), rather than reducing it as was presumably the
intention...]

If somebody can do this for me locally on the savannah server, I've
pushed the desired new master as a branch called "tmp" in the repo
(srv/git/snogray.git).

Thanks,

-miles

-- 
Love is a snowmobile racing across the tundra.  Suddenly it flips over,
pinning you underneath.  At night the ice weasels come.  --Nietzsche