internal/ci: specify githubRepositoryPath directly

Using base.#URLPath triggers an evaluator bug in a later refactor.

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

internal/ci/core/core.cue

@@ -10,7 +10,7 @@ import (
 // Define core URLs that will be used in the codereview.cfg and GitHub workflows
 githubRepositoryURL:  "https://github.com/cue-lang/cue"
 gerritRepositoryURL:  "https://review.gerrithub.io/a/cue-lang/cue"
-githubRepositoryPath: base.#URLPath & {#url: githubRepositoryURL, _}
+githubRepositoryPath: "cue-lang/cue"
 unityRepositoryURL:   "https://github.com/cue-unity/unity"
 
 // Use the latest Go version for extra checks,