From ec60380afa60271d180d7ad5af854e13f75f7bb6 Mon Sep 17 00:00:00 2001 From: Jesse McConnell Date: Tue, 24 Oct 2023 11:42:14 -0500 Subject: [PATCH] Archive jetty.parent Signed-off-by: Jesse McConnell --- otterdog/jetty.jsonnet | 9 ++------- 1 file changed, 2 insertions(+), 7 deletions(-) diff --git a/otterdog/jetty.jsonnet b/otterdog/jetty.jsonnet index e77c7c0..bfb8d96 100644 --- a/otterdog/jetty.jsonnet +++ b/otterdog/jetty.jsonnet @@ -89,14 +89,9 @@ orgs.newOrg('jetty') { ], }, orgs.newRepo('jetty.parent') { - allow_merge_commit: true, - allow_update_branch: false, - default_branch: "master", - delete_branch_on_merge: false, - description: "Eclipse Jetty® - Servlet Engine and Http Server project repository (jetty.parent)", + archived: true, + description: "Eclipse Jetty® - Archived Repository", has_issues: false, - homepage: "http://www.eclipse.org/jetty", - web_commit_signoff_required: false, }, orgs.newRepo('jetty.project') { allow_merge_commit: true,