From 7e02ead2f621cae9ab4397ef76cfa299ad4891f8 Mon Sep 17 00:00:00 2001 From: eclipse-jdt-bot <102322253+eclipse-jdt-bot@users.noreply.github.com> Date: Mon, 11 Mar 2024 20:55:43 +0100 Subject: [PATCH] update config to latest version --- otterdog/eclipse-jdt.jsonnet | 1 - 1 file changed, 1 deletion(-) diff --git a/otterdog/eclipse-jdt.jsonnet b/otterdog/eclipse-jdt.jsonnet index b23990d..8c3b8eb 100644 --- a/otterdog/eclipse-jdt.jsonnet +++ b/otterdog/eclipse-jdt.jsonnet @@ -27,7 +27,6 @@ orgs.newOrg('eclipse-jdt') { ], _repositories+:: [ orgs.newRepo('.github') { - allow_merge_commit: false, delete_branch_on_merge: false, web_commit_signoff_required: false, workflows+: {