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

H.J. Lu
2017-08-22T15:22:18Z

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.