this repo has no description
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

internal/ci: allow gerritHubHostname to be overridden

This will allow us to experiment with an alternative GerritHub host in
other repos that depend on this internal/ci CUE module.

Signed-off-by: Paul Jolly <paul@myitcv.io>
Change-Id: I692f4416b98b4743941199f6068d9106a7443c5b
Reviewed-on: https://review.gerrithub.io/c/cue-lang/cue/+/1218940
TryBot-Result: CUEcueckoo <cueckoo@cuelang.org>
Reviewed-by: Daniel Martí <mvdan@mvdan.cc>
Unity-Result: CUE porcuepine <cue.porcuepine@gmail.com>

Paul Jolly 5cc6d819 3f23e12b

+1 -1
+1 -1
internal/ci/base/base.cue
··· 37 37 // Package parameters 38 38 githubRepositoryPath: *(URLPath & {#url: githubRepositoryURL, _}) | string 39 39 githubRepositoryURL: *("https://github.com/" + githubRepositoryPath) | string 40 - gerritHubHostname: "review.gerrithub.io" 40 + gerritHubHostname: *"review.gerrithub.io" | string 41 41 gerritHubRepositoryURL: *("https://\(gerritHubHostname)/a/" + githubRepositoryPath) | string 42 42 trybotRepositoryPath: *(githubRepositoryPath + "-" + trybot.key) | string 43 43 trybotRepositoryURL: *("https://github.com/" + trybotRepositoryPath) | string