From a4ee53dccb83efbe7363e61b110eaab76b9753ea Mon Sep 17 00:00:00 2001 From: Pierre-Charles David Date: Fri, 1 Dec 2023 15:32:54 +0100 Subject: [PATCH] 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 --- otterdog/eclipse-sirius.jsonnet | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) diff --git a/otterdog/eclipse-sirius.jsonnet b/otterdog/eclipse-sirius.jsonnet index c3c0681..ebc1169 100644 --- 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, + }, + ], + }, ], }