From cdd573066a9ea37a5951ceefeb759729af0d9f6e Mon Sep 17 00:00:00 2001 From: Paul Jolly Date: Thu, 23 Mar 2023 15:59:32 +0000 Subject: [PATCH] internal/ci: rename base parameter field name MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Corresponding change in usage from workflows.cue This change should not result in any .github/workflows changes. Signed-off-by: Paul Jolly Change-Id: Ie4d54e8e43fceb1f306ecf474e95cae5d2887da6 Reviewed-on: https://review.gerrithub.io/c/cue-lang/cue/+/551629 Unity-Result: CUEcueckoo TryBot-Result: CUEcueckoo Reviewed-by: Daniel Martí --- internal/ci/base/base.cue | 4 ++-- internal/ci/github/workflows.cue | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/internal/ci/base/base.cue b/internal/ci/base/base.cue index b085c21a47e..161ce00a5d6 100644 --- a/internal/ci/base/base.cue +++ b/internal/ci/base/base.cue @@ -43,7 +43,7 @@ import ( ) // Package parameters -#repositoryURL: string +#githubRepositoryURL: string #defaultBranch: string #testDefaultBranch: "ci/test" #botGitHubUser: string @@ -168,7 +168,7 @@ import ( run: "test -z \"$(git status --porcelain)\" || (git status; git diff; false)" } -let _#repositoryURL = #repositoryURL +let _#repositoryURL = #githubRepositoryURL let _#botGitHubUser = #botGitHubUser let _#botGitHubUserTokenSecretsKey = #botGitHubUserTokenSecretsKey diff --git a/internal/ci/github/workflows.cue b/internal/ci/github/workflows.cue index 9355c4d9a51..aee260d0e0c 100644 --- a/internal/ci/github/workflows.cue +++ b/internal/ci/github/workflows.cue @@ -74,7 +74,7 @@ _gerrithub: gerrithub & { // Perhaps rename the import to something more obviously not intended to be // used, and then rename the field base? _base: base & { - #repositoryURL: core.githubRepositoryURL + #githubRepositoryURL: core.githubRepositoryURL #defaultBranch: core.defaultBranch #botGitHubUser: core.botGitHubUser #botGitHubUserTokenSecretsKey: core.botGitHubUserTokenSecretsKey