From 088e28c09ae6384f0423c12762801f55e3575be8 Mon Sep 17 00:00:00 2001 From: Keegan Carruthers-Smith Date: Tue, 3 Feb 2026 13:34:40 +0200 Subject: [PATCH] docs/batches: Document batchChanges.restrictMergeToAdmins setting Adds documentation for the new batchChanges.restrictMergeToAdmins site config option which restricts merge and auto-merge actions to site admins only. This is useful when using the Batch Changes GitHub App with elevated access, where the App may have write permissions to repositories that individual users do not. See sourcegraph/sourcegraph#9559 Note: This PR should only be merged once Sourcegraph 6.13 is released. Amp-Thread-ID: https://ampcode.com/threads/T-019c2344-7386-702e-8b12-7ec2de618f53 Co-authored-by: Amp --- docs/admin/config/batch-changes.mdx | 12 ++++++++++++ docs/admin/config/site-config.mdx | 3 +++ docs/batch-changes/permissions-in-batch-changes.mdx | 6 ++++++ 3 files changed, 21 insertions(+) diff --git a/docs/admin/config/batch-changes.mdx b/docs/admin/config/batch-changes.mdx index 3d783ccae..0cebebb7d 100644 --- a/docs/admin/config/batch-changes.mdx +++ b/docs/admin/config/batch-changes.mdx @@ -10,6 +10,18 @@ Batch Changes is [RBAC-enabled](/admin/access-control/)