Re: error from 'git push' on v1.7.8-rc0

Stefan Näwe [off-list ref] writes:

I get errors from git push when trying to delete a (remote) branch:

$ ./bin-wrappers/git versiongit version 1.7.8.rc0
$ ./bin-wrappers/git push -q . :refs/heads/nogofatal: bad object
0000000000000000000000000000000000000000fatal: bad object
0000000000000000000000000000000000000000remote: warning: Allowing
deletion of corrupt ref.

Thanks. I think the operation does _not_ error out and fail to delete, but
I agree that the "fatal:" message should be squelched.