From 8bce5deaf44048e1087da856689419e3454a0e99 Mon Sep 17 00:00:00 2001 From: Gregor Zeitlinger Date: Mon, 27 Apr 2026 08:25:19 +0000 Subject: [PATCH] docs: Document semantic PR title guidance Signed-off-by: Gregor Zeitlinger --- AGENTS.md | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/AGENTS.md b/AGENTS.md index 9ab4664e4..f9da50dcd 100644 --- a/AGENTS.md +++ b/AGENTS.md @@ -94,6 +94,14 @@ Pre-built instrumentations: - **Markdown code blocks**: Always specify language (e.g., ` ```java`, ` ```bash`, ` ```text`) +## Pull Requests + +- PR titles must use semantic/conventional prefixes, for example + `feat: ...`, `fix: ...`, `docs: ...`, `chore: ...`, or + `test: ...`. +- Do not prefix PR titles with `[codex]`. +- Match the PR title type to the primary user-facing change. + ## Linting and Validation **CRITICAL**: These checks MUST be run before creating any