update to latest default config

jetty · Oct 7, 2024 · 2f6683b · 2f6683b
1 parent 0eb8f7e
commit 2f6683b
Showing 1 changed file with 5 additions and 3 deletions.
diff --git a/otterdog/jetty.jsonnet b/otterdog/jetty.jsonnet
@@ -310,9 +310,11 @@ orgs.newOrg('jetty') {
             required_approving_review_count: 1,
             dismisses_stale_reviews: true,
           },
-          required_status_checks+: [
-            "continuous-integration/jenkins/pr-merge"
-          ],
+          required_status_checks+: {
+            status_checks+: [
+              "continuous-integration/jenkins/pr-merge"
+            ],
+          },
         },
       ],
     },