Update eclipse-jdt.jsonnet (#5)

disallow merge commits eclipse-jdt/eclipse.jdt.ui#991 (comment) Signed-off-by: Jörg Kubitz <[email protected]>
eclipse-jdt · Dec 9, 2023 · 7fabb04 · 7fabb04
1 parent 8bb4164
commit 7fabb04
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/otterdog/eclipse-jdt.jsonnet b/otterdog/eclipse-jdt.jsonnet
@@ -29,7 +29,7 @@ orgs.newOrg('eclipse-jdt') {
   ],
   _repositories+:: [
     orgs.newRepo('.github') {
-      allow_merge_commit: true,
+      allow_merge_commit: false,
       delete_branch_on_merge: false,
       web_commit_signoff_required: false,
       workflows+: {