chore: archive JenkinsPipelines (#23)

eclipse-edc · Sep 3, 2024 · 10597da · 10597da
1 parent 2a345c2
commit 10597da
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/otterdog/eclipse-edc.jsonnet b/otterdog/eclipse-edc.jsonnet
@@ -163,6 +163,7 @@ orgs.newOrg('eclipse-edc') {
       },
     },
     orgs.newRepo('JenkinsPipelines') {
+      archived: true,
       allow_rebase_merge: false,
       allow_update_branch: false,
       delete_branch_on_merge: false,