Re: can't push to binutils-gdb, git-hooks rejecting commits
"H.J. Lu" <[email protected]>
| Newsgroups | gmane.comp.gdb.devel,gmane.comp.gnu.binutils |
|---|---|
| Message-ID | <CAMe9rOpYqO3eUeSN9=zwS_XydsQhUbvzaWxeZmj8uB0irci4Rw@mail.gmail.com> |
On Tue, Aug 22, 2017 at 8:28 AM, Pedro Alves <[email protected]> wrote: > On 08/22/2017 04:22 PM, H.J. Lu wrote: >> On Tue, Aug 22, 2017 at 8:05 AM, Joel Brobecker <[email protected]> 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.