update to reflect live settings

eclipse-jdt · May 7, 2024 · de8c6d5 · de8c6d5
1 parent 1eafb15
commit de8c6d5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/otterdog/eclipse-jdt.jsonnet b/otterdog/eclipse-jdt.jsonnet
@@ -122,7 +122,7 @@ orgs.newOrg('eclipse-jdt') {
       ],
     },
     orgs.newRepo('eclipse.jdt.ui') {
-      allow_merge_commit: true,
+      allow_merge_commit: false,
       default_branch: "master",
       delete_branch_on_merge: false,
       has_projects: false,