Add a sirius-legacy repo

It will be used to migrate the contents of ssh://git.eclipse.org:29418/sirius/org.eclipse.sirius.legacy. The code there is no longer maintained, but we'd like not to completely lose it when Gerrit will be closed. The GitHub repo will probably be moved into an "archived" state once I've pushed this historical code in it. Signed-off-by: Pierre-Charles David <[email protected]>
eclipse-sirius · Dec 1, 2023 · a4ee53d · a4ee53d
1 parent 1822db4
commit a4ee53d
Showing 1 changed file with 20 additions and 0 deletions.
diff --git a/otterdog/eclipse-sirius.jsonnet b/otterdog/eclipse-sirius.jsonnet
@@ -143,5 +143,25 @@ orgs.newOrg('eclipse-sirius') {
         actions_can_approve_pull_request_reviews: false,
       },
     },
+    orgs.newRepo('sirius-legacy') {
+      allow_squash_merge: false,
+      default_branch: "master",
+      delete_branch_on_merge: false,
+      description: "Sirius Legacy: legacy (unmaintained) components from Sirius Desktop",
+      has_discussions: true,
+      has_projects: false,
+      has_wiki: false,
+      homepage: "https://www.eclipse.org/sirius/",
+      workflows+: {
+        default_workflow_permissions: "write",
+      },
+      branch_protection_rules: [
+        orgs.newBranchProtectionRule('master') {
+          required_approving_review_count: 0,
+          requires_linear_history: true,
+          requires_strict_status_checks: true,
+        },
+      ],
+    },
   ],
 }