can't push to binutils-gdb, git-hooks rejecting commits

[H.J. Lu]

On Tue, Aug 22, 2017 at 8:05 AM, Joel Brobecker <brobecker@adacore.com> wrote:
> Hi Pedro,
>
>> I'm trying to push a patch to master, but it's getting rejected by the
>> server-side git hooks.  Anyone else seeing the same?  See below.
>>
>> Repeating that big "git rev-list" command below locally shows:
>>
>>   fatal: bad revision '^refs/heads/users/hjl/pr17709'
>>
>> That branch doesn't appear to exist anymore.   Sounds like the hooks
>> need to run "git remote prune origin" on their clone?  Does that make
>> sense?
>
> For me, I get a different error message, but in the same vein:
>
>     fatal: bad revision '^refs/heads/users/hjl/gpoff'
>
> I think it's related to the disk corruption. If the branch stopped
> existing, git should have removed the associated reference.
>

I deleted the old users/hjl/gpoff and pushed a new one.


-- 
H.J.