diff options
Diffstat (limited to 'ops')
| -rw-r--r-- | ops/nixos/monorepo-gerrit.nix | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/ops/nixos/monorepo-gerrit.nix b/ops/nixos/monorepo-gerrit.nix index 1595f5834605..d25e51767ef4 100644 --- a/ops/nixos/monorepo-gerrit.nix +++ b/ops/nixos/monorepo-gerrit.nix @@ -35,8 +35,15 @@ in { # Configures gerrit for being reverse-proxied by nginx as per # https://gerrit-review.googlesource.com/Documentation/config-reverseproxy.html - gerrit.canonicalWebUrl = "https://cl.tvl.fyi"; - gerrit.docUrl = "/Documentation"; + gerrit = { + canonicalWebUrl = "https://cl.tvl.fyi"; + docUrl = "/Documentation"; + + # This needs to be kept in lockstep with the Polygerrit UI + # version we use. + cdnPath = "https://cdn.googlesource.com/polygerrit_ui/768.0"; + }; + httpd.listenUrl = "proxy-https://${cfg.listenAddress}"; download.command = [ |