update config after repo transfer for jetty.website

jetty · May 8, 2024 · 40682da · 40682da
1 parent 4de3265
commit 40682da
Showing 1 changed file with 22 additions and 0 deletions.
diff --git a/otterdog/jetty.jsonnet b/otterdog/jetty.jsonnet
@@ -331,5 +331,27 @@ orgs.newOrg('jetty') {
         },
       ],
     },
+    orgs.newRepo('jetty.website') {
+      allow_merge_commit: true,
+      allow_update_branch: false,
+      delete_branch_on_merge: false,
+      gh_pages_build_type: "workflow",
+      secret_scanning: "disabled",
+      secret_scanning_push_protection: "disabled",
+      web_commit_signoff_required: false,
+      secrets: [
+        orgs.newRepoSecret('RELEASE_TOKEN') {
+          value: "********",
+        },
+      ],
+      environments: [
+        orgs.newEnvironment('github-pages') {
+          branch_policies+: [
+            "main"
+          ],
+          deployment_branch_policy: "selected",
+        },
+      ],
+    },
   ],
 }