From 1b7221195879d5601a68c9853d23ea0962d7be93 Mon Sep 17 00:00:00 2001 From: Serhii Bykov Date: Fri, 31 Jul 2026 01:34:26 +0200 Subject: [PATCH] docs(agents): document merged PR labeling --- AGENTS.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/AGENTS.md b/AGENTS.md index a837d08..0f9f579 100644 --- a/AGENTS.md +++ b/AGENTS.md @@ -43,6 +43,10 @@ Run `tuist generate` after changing `Project.swift`, dependencies, build setting - Branch names should follow `/`, for example `fix/menu-bar-position` or `feat/input-overlay-theme`. - Commit messages should follow `(): ` when a scope is useful, for example `fix(settings): clamp overlay opacity`. - When creating a pull request, always use the existing GitHub pull request template. +- Keep merged pull requests labeled according to their content. Generated release + notes use `.github/release.yml`: `enhancement` appears under New features, + `bug` under Bug fixes, `ignore for release` is excluded, and other labels fall + through to Other changes. ## Code Style