Revert "internal/ci: rename base parameter field name"

This reverts commit 584f3f0.

Reason for revert: automated submit went wrong and submitted CLs out of
order breaking the submission of the chain.

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

internal/ci/base/base.cue

@@ -43,7 +43,7 @@ import (
 )
 
 // Package parameters
-#githubRepositoryURL:          string
+#repositoryURL:                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 = #githubRepositoryURL
+let _#repositoryURL = #repositoryURL
 let _#botGitHubUser = #botGitHubUser
 let _#botGitHubUserTokenSecretsKey = #botGitHubUserTokenSecretsKey
 

internal/ci/github/workflows.cue

@@ -72,7 +72,7 @@ _gerrithub: gerrithub & {
 // Perhaps rename the import to something more obviously not intended to be
 // used, and then rename the field base?
 _base: base & {
-	#githubRepositoryURL:          core.githubRepositoryURL
+	#repositoryURL:                core.githubRepositoryURL
 	#defaultBranch:                core.defaultBranch
 	#botGitHubUser:                "cueckoo"
 	#botGitHubUserTokenSecretsKey: "CUECKOO_GITHUB_PAT"