tree a915296eaf15478c8d22f14a7b071b2ceef2d6d4
parent 17513109a5981b70efbd50b11ff31f39dcfa4049
author Luigi Santivetti <luigi.santivetti@gmail.com> 1602930694 +0000
committer Luigi Santivetti <luigi.santivetti@gmail.com> 1604797575 +0000

module/gerrit: set explicitly serverId

gerrit.serverId is automatically set to a random UUID if not explicitly
set. This will prevent to handle changes and repositories across
different instances. For instance when Docker is restarted.