internal/ci: configure tip as a branch

Signed-off-by: Paul Jolly <[email protected]> Change-Id: Ic0a4b76f82f52dc3d50364a6df9dafe873e10ae6 Reviewed-on: https://review.gerrithub.io/c/cue-lang/cuelang.org/+/1185050 TryBot-Result: CUEcueckoo <[email protected]> Reviewed-by: Chief Cueckoo <[email protected]>
cue-lang · Mar 20, 2024 · 516e4f3 · 516e4f3
1 parent e6e5e18
commit 516e4f3
Show file tree

Hide file tree

Showing 5 changed files with 10 additions and 10 deletions.
diff --git a/.github/workflows/evict_caches.yml b/.github/workflows/evict_caches.yml
diff --git a/.github/workflows/push_tip_to_trybot.yml b/.github/workflows/push_tip_to_trybot.yml
diff --git a/.github/workflows/trybot.yml b/.github/workflows/trybot.yml
diff --git a/README.md b/README.md
@@ -1,3 +1,3 @@
-## `beta.cuelang.org`
+## `tip.cuelang.org`
 
 A simple redirect to https://cuelang.org
diff --git a/internal/ci/repo/repo.cue b/internal/ci/repo/repo.cue
@@ -12,7 +12,7 @@ base
 githubRepositoryPath: "cue-lang/cuelang.org"
 
 defaultBranch: _
-protectedBranchPatterns: [defaultBranch, "alpha", "beta", "old"]
+protectedBranchPatterns: [defaultBranch, "alpha", "tip", "old"]
 
 botGitHubUser:      "cueckoo"
 botGitHubUserEmail: "[email protected]"