From e9a91c83641078f8491a45c713620ef82eaf7450 Mon Sep 17 00:00:00 2001
From: mergify-ci-bot <mergify-ci-bot@users.noreply.github.com>
Date: Mon, 15 Jun 2026 09:13:17 +0000
Subject: [PATCH] chore: sync Mergify JSON Schema files

---
 public/api-schemas.json                  | 32 ++++++++++++++++
 public/mergify-configuration-schema.json | 48 ++++++++++++++++++------
 2 files changed, 68 insertions(+), 12 deletions(-)

diff --git a/public/api-schemas.json b/public/api-schemas.json
index b17849bc87..df3709de90 100644
--- a/public/api-schemas.json
+++ b/public/api-schemas.json
@@ -7958,6 +7958,38 @@
         ],
         "title": "BatchChecksSummary"
       },
+      "BatchSizeBounds": {
+        "anyOf": [
+          {
+            "type": "integer",
+            "maximum": 128.0,
+            "minimum": 1.0
+          },
+          {
+            "properties": {
+              "min": {
+                "type": "integer",
+                "maximum": 128.0,
+                "minimum": 1.0,
+                "title": "Min"
+              },
+              "max": {
+                "type": "integer",
+                "maximum": 128.0,
+                "minimum": 1.0,
+                "title": "Max"
+              }
+            },
+            "additionalProperties": false,
+            "type": "object",
+            "required": [
+              "min",
+              "max"
+            ],
+            "title": "BatchSizeBounds"
+          }
+        ]
+      },
       "BatchSizeGroupResponse": {
         "properties": {
           "base_ref": {
diff --git a/public/mergify-configuration-schema.json b/public/mergify-configuration-schema.json
index 6383856b28..885885f583 100644
--- a/public/mergify-configuration-schema.json
+++ b/public/mergify-configuration-schema.json
@@ -404,6 +404,38 @@
       "title": "BackportActionModel",
       "type": "object"
     },
+    "BatchSizeBounds": {
+      "anyOf": [
+        {
+          "maximum": 128,
+          "minimum": 1,
+          "type": "integer"
+        },
+        {
+          "additionalProperties": false,
+          "properties": {
+            "min": {
+              "maximum": 128,
+              "minimum": 1,
+              "title": "Min",
+              "type": "integer"
+            },
+            "max": {
+              "maximum": 128,
+              "minimum": 1,
+              "title": "Max",
+              "type": "integer"
+            }
+          },
+          "required": [
+            "min",
+            "max"
+          ],
+          "title": "BatchSizeBounds",
+          "type": "object"
+        }
+      ]
+    },
     "BranchName": {
       "description": "A Git branch name.",
       "properties": {},
@@ -2554,12 +2586,8 @@
           "type": "string"
         },
         "batch_size": {
-          "default": 1,
-          "description": "The maximum number of pull requests per speculative check in the queue. Must be between 1 and 128.",
-          "maximum": 128,
-          "minimum": 1,
-          "title": "Batch Size",
-          "type": "integer"
+          "$ref": "#/$defs/BatchSizeBounds",
+          "description": "The number of pull requests per speculative check in the queue. Either a single integer (fixed size, 1-128) or an object `{min, max}` for dynamic batching: the queue uses `min` when parallel-check slots are plentiful and grows toward `max` to keep the backlog at zero. Dynamic batching currently applies to serial queues only; parallel queues use `max`."
         },
         "batch_max_wait_time": {
           "default": "30 seconds",
@@ -2805,12 +2833,8 @@
           "type": "string"
         },
         "batch_size": {
-          "default": 1,
-          "description": "The maximum number of pull requests per speculative check in the queue. Must be between 1 and 128.",
-          "maximum": 128,
-          "minimum": 1,
-          "title": "Batch Size",
-          "type": "integer"
+          "$ref": "#/$defs/BatchSizeBounds",
+          "description": "The number of pull requests per speculative check in the queue. Either a single integer (fixed size, 1-128) or an object `{min, max}` for dynamic batching: the queue uses `min` when parallel-check slots are plentiful and grows toward `max` to keep the backlog at zero. Dynamic batching currently applies to serial queues only; parallel queues use `max`."
         },
         "batch_max_wait_time": {
           "default": "30 seconds",