FYI: Status of gdb usage of gerrit

[Florian Weimer]

* 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”).

Option 2 does not work for us because Carlos requires Reviewed-By:
lines in Git history, and Gerrit can only create those if it is
maintaining its own repository.