this repo has no description
switch this repository to cue.gerrithub.io
As part of the transition from review.gerrithub.io to cue.gerrithub.io.
Note that this change to internal/ci/base will propagate to all other
GerritHub-based repositories once I publish a new version of the module.
While here, fix up trybot.cue so that it doesn't hard-code
the URLs for our GitHub and GerritHub repos.
All CUE developers should run the following to be able to
use `git-codereview mail` after this change is pulled,
assuming they named GerritHub the "origin" remote:
git remote set-url origin https://cue.gerrithub.io/a/cue-lang/cue
Signed-off-by: Daniel Martí <mvdan@mvdan.cc>
Change-Id: I5da754696f23b6df79ca4331debdbccd3b1f001c
Reviewed-on: https://cue.gerrithub.io/c/cue-lang/cue/+/1222595
TryBot-Result: CUEcueckoo <cueckoo@cuelang.org>
Reviewed-by: Paul Jolly <paul@myitcv.io>
Unity-Result: CUE porcuepine <cue.porcuepine@gmail.com>
+17
-17
+2
-2
.github/workflows/push_tip_to_trybot.yaml
+2
-2
.github/workflows/push_tip_to_trybot.yaml
···
18
18
- name: Write netrc file for cueckoo Gerrithub
19
19
run: |-
20
20
cat <<EOD > ~/.netrc
21
-
machine review.gerrithub.io
21
+
machine cue.gerrithub.io
22
22
login cueckoo
23
23
password ${{ secrets.CUECKOO_GERRITHUB_PASSWORD }}
24
24
EOD
···
31
31
git config user.name cueckoo
32
32
git config user.email cueckoo@gmail.com
33
33
git config http.https://github.com/.extraheader "AUTHORIZATION: basic $(echo -n cueckoo:${{ secrets.CUECKOO_GITHUB_PAT }} | base64)"
34
-
git remote add origin https://review.gerrithub.io/a/cue-lang/cue
34
+
git remote add origin https://cue.gerrithub.io/a/cue-lang/cue
35
35
git remote add trybot https://github.com/cue-lang/cue-trybot
36
36
37
37
git fetch origin "${{ github.ref }}"
+1
-1
.github/workflows/trybot.yaml
+1
-1
.github/workflows/trybot.yaml
···
158
158
echo "GitHub tags:"
159
159
sed 's/^/ /' github.txt
160
160
161
-
git ls-remote --tags https://review.gerrithub.io/cue-lang/cue >gerrit.txt
161
+
git ls-remote --tags https://cue.gerrithub.io/a/cue-lang/cue >gerrit.txt
162
162
163
163
if ! diff -u github.txt gerrit.txt; then
164
164
echo "GitHub and Gerrit do not agree on the list of tags!"
+3
-3
.github/workflows/trybot_dispatch.yaml
+3
-3
.github/workflows/trybot_dispatch.yaml
···
17
17
- name: Write netrc file for cueckoo Gerrithub
18
18
run: |-
19
19
cat <<EOD > ~/.netrc
20
-
machine review.gerrithub.io
20
+
machine cue.gerrithub.io
21
21
login cueckoo
22
22
password ${{ secrets.CUECKOO_GERRITHUB_PASSWORD }}
23
23
EOD
···
40
40
git config user.name cueckoo
41
41
git config user.email cueckoo@gmail.com
42
42
git config http.https://github.com/.extraheader "AUTHORIZATION: basic $(echo -n cueckoo:${{ secrets.CUECKOO_GITHUB_PAT }} | base64)"
43
-
git remote add origin https://review.gerrithub.io/a/cue-lang/cue
43
+
git remote add origin https://cue.gerrithub.io/a/cue-lang/cue
44
44
45
45
git fetch origin ${{ fromJSON(steps.payload.outputs.value).ref }}
46
46
git checkout -b local_${{ fromJSON(steps.payload.outputs.value).targetBranch }} FETCH_HEAD
···
90
90
git config user.name cueckoo
91
91
git config user.email cueckoo@gmail.com
92
92
git config http.https://github.com/.extraheader "AUTHORIZATION: basic $(echo -n cueckoo:${{ secrets.CUECKOO_GITHUB_PAT }} | base64)"
93
-
git remote add origin https://review.gerrithub.io/a/cue-lang/cue
93
+
git remote add origin https://cue.gerrithub.io/a/cue-lang/cue
94
94
95
95
git fetch origin ${{ github.event.client_payload.ref }}
96
96
git checkout -b local_${{ github.event.client_payload.targetBranch }} FETCH_HEAD
+6
-6
CONTRIBUTING.md
+6
-6
CONTRIBUTING.md
···
289
289
290
290
If you want to use SSH for authentication *to GerritHub*, SSH keys can be
291
291
[configured in your user
292
-
profile](https://review.gerrithub.io/settings/#SSHKeys). If you choose to use
292
+
profile](https://cue.gerrithub.io/settings/#SSHKeys). If you choose to use
293
293
SSH for authentication, you will not be able to use the `git-codereview`
294
294
command that's suggested later in this document, as the command [doesn't
295
295
support SSH-based git
296
296
origins](https://github.com/golang/go/issues/9599#issuecomment-70538097).
297
297
298
298
For HTTP Credentials, [generate a password via your user
299
-
profile](https://review.gerrithub.io/settings/#HTTPCredentials). Then use an
299
+
profile](https://cue.gerrithub.io/settings/#HTTPCredentials). Then use an
300
300
existing HTTP authentication mechanism like `.netrc`, macOS KeyChain, or some
301
301
other [credential helper](https://git-scm.com/docs/gitcredentials). If you have
302
302
any troubles with this step, please [raise an
···
332
332
333
333
### Step 4: Clone the CUE repository locally
334
334
335
-
Visit https://review.gerrithub.io/admin/repos/cue-lang/cue, then click "SSH" or
335
+
Visit https://cue.gerrithub.io/admin/repos/cue-lang/cue, then click "SSH" or
336
336
"HTTP" depending on which authentication mechanism you configured in step 2.
337
337
Then copy and run the corresponding "Clone" command. Make sure not to use
338
338
"ANONYMOUS HTTP", as that will not work with `git-codereview` command.
···
428
428
429
429
```
430
430
remote: New Changes:
431
-
remote: https://review.gerrithub.io/99999 math: improved Sin, Cos and Tan precision for very large arguments
431
+
remote: https://cue.gerrithub.io/99999 math: improved Sin, Cos and Tan precision for very large arguments
432
432
```
433
433
434
434
If you get an error instead, see the ["Troubleshooting mail
···
671
671
672
672
Files in the CUE repository don't list author names, both to avoid clutter and
673
673
to avoid having to keep the lists up to date. Instead, your name will appear in
674
-
the [git change log](https://review.gerrithub.io/plugins/gitiles/cue-lang/cue/+log)
674
+
the [git change log](https://cue.gerrithub.io/plugins/gitiles/cue-lang/cue/+log)
675
675
and in [GitHub's contributor stats](https://github.com/cue-lang/cue/graphs/contributors)
676
676
when using an email address linked to a GitHub account.
677
677
···
807
807
808
808
809
809
```console
810
-
$ git fetch https://review.gerrithub.io/a/cue-lang/cue refs/changes/67/519567/1 && git checkout FETCH_HEAD
810
+
$ git fetch https://cue.gerrithub.io/a/cue-lang/cue refs/changes/67/519567/1 && git checkout FETCH_HEAD
811
811
```
812
812
813
813
To revert, change back to the branch you were working in.
+1
-1
codereview.cfg
+1
-1
codereview.cfg
+1
-1
internal/ci/base/base.cue
+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" | string
40
+
gerritHubHostname: *"cue.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
+3
-3
internal/ci/github/trybot.cue
+3
-3
internal/ci/github/trybot.cue
···
167
167
// Note that it sorts tag names as strings, which is not the best, but works OK.
168
168
if: "(\(_repo.isProtectedBranch) || \(_repo.isTestDefaultBranch)) && \(_repo.isLatestGoLinux)"
169
169
name: "Check all git tags are available"
170
-
run: """
170
+
run: """
171
171
cd $(mktemp -d)
172
172
173
-
git ls-remote --tags https://github.com/cue-lang/cue >github.txt
173
+
git ls-remote --tags \(_repo.githubRepositoryURL) >github.txt
174
174
echo "GitHub tags:"
175
175
sed 's/^/ /' github.txt
176
176
177
-
git ls-remote --tags https://review.gerrithub.io/cue-lang/cue >gerrit.txt
177
+
git ls-remote --tags \(_repo.gerritHubRepositoryURL) >gerrit.txt
178
178
179
179
if ! diff -u github.txt gerrit.txt; then
180
180
echo "GitHub and Gerrit do not agree on the list of tags!"