From: Junio C Hamano <gitster@pobox.com>
Date: Thu, 03 Nov 2011 18:59:00 GMT
Subject: Re: error from 'git push' on v1.7.8-rc0
Message-ID: <7vmxcdf2x7.fsf@alter.siamese.dyndns.org>
In-Reply-To: <CAJzBP5Q1_zX+H0jeBZNB81KLYAbtJWhUuHA3rf8CuW-_OSFXbg@mail.gmail.com>

Stefan Näwe <stefan.naewe@gmail.com> 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.