about summary refs log tree commit diff
diff options
context:
space:
mode:
authorFranck Cuny <franck@fcuny.net>2022-10-09 13:46:18 -0700
committerFranck Cuny <franck@fcuny.net>2022-10-09 13:46:18 -0700
commit49eefb689159af350b2927e1b5e24e5a80df8eea (patch)
tree8e1ae08cf4965f1448ef31b90bd0e3e5dcfcb0bb
parentref(ops/github): simplify the configuration (diff)
downloadworld-49eefb689159af350b2927e1b5e24e5a80df8eea.tar.gz
feat(ops/github): set the name of the default branch
From now on we should always be using 'main'. If a project requires
'master', it will need to be set explicitly.
-rw-r--r--ops/github/repositories.tf13
1 files changed, 13 insertions, 0 deletions
diff --git a/ops/github/repositories.tf b/ops/github/repositories.tf
index 506f0dd..2465d43 100644
--- a/ops/github/repositories.tf
+++ b/ops/github/repositories.tf
@@ -19,3 +19,16 @@ resource "github_repository" "repos" {
   vulnerability_alerts   = try(each.value.vulnerability_alerts, false)
   delete_branch_on_merge = try(each.value.vulnerability_alerts, false)
 }
+
+resource "github_branch_default" "main" {
+  # no need to set the default branch if the repository is already
+  # archived.
+  # use the name for the repository if set
+  for_each = {
+    for k, v in local.repositories : try(v.name, k) => v
+    if v.archived == false
+  }
+
+  repository = each.key
+  branch     = try(each.value.default_branch, "main")
+}