This is the mail archive of the
mailing list for the GDB project.
Re: can't push to binutils-gdb, git-hooks rejecting commits
- From: "H.J. Lu" <hjl dot tools at gmail dot com>
- To: Joel Brobecker <brobecker at adacore dot com>
- Cc: Pedro Alves <palves at redhat dot com>, "binutils at sourceware dot org" <binutils at sourceware dot org>, "gdb at sourceware dot org" <gdb at sourceware dot org>
- Date: Tue, 22 Aug 2017 08:22:03 -0700
- Subject: Re: can't push to binutils-gdb, git-hooks rejecting commits
- Authentication-results: sourceware.org; auth=none
- References: <email@example.com> <firstname.lastname@example.org>
On Tue, Aug 22, 2017 at 8:05 AM, Joel Brobecker <email@example.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
> 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.