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

["H.J. Lu" <hjl.tools@gmail.com>]

On Tue, Aug 22, 2017 at 8:28 AM, Pedro Alves <palves@redhat.com> wrote:
> On 08/22/2017 04:22 PM, H.J. Lu wrote:
>> 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.
>
> Eh, that worked, thanks.  I managed to push to master now.
> I had thought of trying something like that, but assumed that
> the hooks would reject pushing that too.
>
> Funny that you didn't need to create users/hjl/pr17709.
>

I removed users/hjl/pr17709.


-- 
H.J.