FYI: Status of gdb usage of gerrit

[Joseph Myers]

On Tue, 26 Nov 2019, Florian Weimer wrote:

> * Joseph Myers:
> 
> > 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.
> 
> Jonathan Nieder's comments
> 
>   <https://sourceware.org/ml/libc-alpha/2019-11/msg00532.html>
>   <https://sourceware.org/ml/libc-alpha/2019-11/msg00533.html>
> 
> suggest to me that whis would need custom Gerrit development (listed
> as option 3, “something fancy with two-way sync”).

No, just running Gerrit on sourceware - the first of those messages 
explicitly says "It copes fine with the repository being updated behind 
its back".  Running it on sourceware seems obviously the right thing to do 
for non-experimental use.

-- 
Joseph S. Myers
joseph@codesourcery.com