From e8cf3efe364f118f1577389e812c9d80af36e816 Mon Sep 17 00:00:00 2001
From: Patrick Schaper <patrick.schaper@aoe.com>
Date: Thu, 21 May 2026 15:32:53 +0200
Subject: [PATCH] docs: never auto-merge PRs unless explicitly instructed

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
---
 AGENTS.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/AGENTS.md b/AGENTS.md
index 6802365..9677236 100644
--- a/AGENTS.md
+++ b/AGENTS.md
@@ -155,6 +155,7 @@ class MatrixColumn {
 - Push (`git push`)
 - Create a pull request (`gh pr create`)
 - Merge a pull request (`gh pr merge`)
+- Enable auto-merge on a pull request (`gh pr merge --auto`)
 - Trigger or re-run GitHub Actions workflows
 
 ## Pushing