Instead of storing this list in the database, we now store it in the
gerrit.config as it applies more to the server instance than it does
to the metadata database. This follows with the general pattern to
push as much of the configuration out of the database and into the
local gerrit.config file as possible.
Signed-off-by: Shawn O. Pearce <sop@google.com>
d7c026dce6