Clark Boylan b9b1cba959 Set gerrit.serverId in gerrit.config
This serverId value is used by notedb to identify the gerrit cluster
that notedb contents belong to. By default a random uuid is generated by
gerrit for this value. In order to avoid config management and gerrit
fighting over this value after we upgrade we set a value now.

This should be safe to land on 2.13 as old gerrit should ignore the
value.

Change-Id: I57c9b436a9d0d1dfe77eee907d50fc1dcda6ab12
2020-11-10 10:30:58 -08:00
..
2020-03-11 15:15:00 -07:00
2019-09-18 12:40:19 -07:00
2019-05-15 16:03:07 -07:00
2020-05-13 05:32:54 +10:00
2020-07-21 17:36:50 +10:00
2020-09-30 11:55:24 +10:00