FYI: Status of gdb usage of gerrit

[Joseph Myers]

On Tue, 26 Nov 2019, Florian Weimer wrote:

> * Joseph Myers:
> 
> > On Sat, 23 Nov 2019, Florian Weimer wrote:
> >
> >> * Carlos O'Donell:
> >> 
> >> > I'm happy to hear any feedback those of you have about
> >> > working with gerrit.
> >> 
> >> I would also like to hear from those who have not used it.  Your
> >> opinion counts as well.
> >
> > We seem to have got notifications into a reasonably good state, though I'm 
> > not sure if the issue was fixed where marking a patch ready for review 
> > failed to send out a notification including diffs.  I think there are 
> > still issues with the handling of email replies.
> 
> Would you be okay with pushing through Gerrit?  It seems that without
> custom development, we would have to disable direct pushes to
> sourceware, for branches managed by Gerrit.

I don't think we should require pushing through Gerrit.  For changes not 
needing review it's an unnecessary complication; a normal git push ought 
to be fine and Gerrit ought to be able to handle it.

-- 
Joseph S. Myers
joseph@codesourcery.com