Files
gerrit/Documentation
Dave Borowitz d4fdc9323d Support reading default project.config for All-Projects from etc
Respect a new optional file $site/etc/All-Projects/project.config which
serves as the base config file for project.config in All-Projects.

It may seem odd to introduce a level of inheritance above All-Projects:
if you want to change a default value and have it inherited across all
projects on your site, it should just go in All-Projects, right? Indeed,
that remains the recommended approach for a single server.

However, in the case where an administrator manages multiple Gerrit
servers, updating the defaults across all servers would require
scripting git commits and/or pushes to multiple All-Projects repos. Such
an administrator is likely already using Puppet or similar to manage
gerrit.config, so a simpler approach for them would be to edit a single
file and then push it out to all servers. This change gives them that
option.

Use a separate file from gerrit.config to maintain a clear distinction
between server-type options and project-type options. There is already
some ad-hoc "inheritance" between gerrit.config and project.config, for
example of receive.maxObjectSizeLimit. We would like to avoid the need
for such ad-hoc code, providing instead a more general mechanism.

The location under etc/All-Projects could eventually contain more files
that could provide defaults for other files in All-Projects. However,
defining inheritance semantics for file types other than git config
files is nontrivial, so punt for now, documenting the limitations.

Change-Id: I572dbfb6b57c6bb45adc96dc5b10071299deeb0d
2018-11-19 10:01:42 -08:00
..
2018-11-13 15:06:26 -08:00
2018-09-24 23:07:53 +00:00
2018-09-24 23:08:04 +00:00
2018-09-27 16:45:10 +09:00
2018-05-02 11:21:18 +09:00
2018-11-13 15:06:26 -08:00
2018-11-13 15:06:26 -08:00
2018-11-13 15:06:26 -08:00
2018-11-13 15:06:26 -08:00
2018-11-13 15:06:26 -08:00
2018-11-13 15:06:26 -08:00
2018-11-02 16:28:37 -07:00
2018-11-14 09:29:04 -08:00
2018-08-22 21:59:06 +09:00
2018-10-16 08:30:47 +09:00
2017-08-08 14:24:34 +02:00
2018-09-12 13:27:01 +09:00
2018-11-13 15:06:26 -08:00
2017-09-30 15:47:14 +02:00