Re: [orbit-dev] gerrit error on push?

[Roland Grunberg <rgrunber@xxxxxxxxxx>]

> On Thu, 30 Apr 2020 at 14:08, Homer, Tony <tony.homer@xxxxxxxxx>
> wrote:
> > I’m getting this just now and haven’t seen it before.
> > 
> > Is it something I am doing or should I report this to infra?
> > 
> >  
> > 
> > To ssh://git.eclipse.org:29418/orbit/orbit-recipes
> > 
> > ! [remote rejected] HEAD -> refs/for/master (internal server error:
> > Error inserting change/patchset)
> > 
> > error: failed to push some refs to '
> > ssh://thomer@xxxxxxxxxxxxxxx:29418/orbit/orbit-recipes'

Looks like we found the trouble maker ;)
https://bugs.eclipse.org/bugs/show_bug.cgi?id=561802#c40

This has been going on in the past as well. Usually the change succeeds
but the server reports an error. It happens even for things like
commenting on Gerrit changes.

-- 
Roland Grunberg