internal/ci: protect alpha, old and tip branches

Ahead of the flip from alpha.cuelang.org to cuelang.org Signed-off-by: Paul Jolly <paul@myitcv.io> Change-Id: Iade08488fda68441431ebc169a8a85e667d89913 Reviewed-on: https://review.gerrithub.io/c/cue-lang/cuelang.org/+/1185174 Reviewed-by: Chief Cueckoo <chief.cueckoo@gmail.com> TryBot-Result: CUEcueckoo <cueckoo@gmail.com>
cue-lang · Mar 20, 2024 · 1ea1508 · 1ea1508
1 parent a4aaf0d
commit 1ea1508
Show file tree

Hide file tree

Showing 5 changed files with 10 additions and 8 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/.github/workflows/update_tip.yml b/.github/workflows/update_tip.yml
diff --git a/internal/ci/repo/repo.cue b/internal/ci/repo/repo.cue
@@ -14,7 +14,7 @@ githubRepositoryPath: "cue-lang/cuelang.org"
 alphaBranch: "alpha"
 
 defaultBranch: _
-protectedBranchPatterns: [defaultBranch, alphaBranch, "old"]
+protectedBranchPatterns: [defaultBranch, alphaBranch, "old", "tip"]
 
 botGitHubUser:      "cueckoo"
 botGitHubUserEmail: "cueckoo@gmail.com"