docs: extend AGENTS.md with conventions mined from PR reviews - #12352
Draft
julian-risch wants to merge 3 commits into
Draft
docs: extend AGENTS.md with conventions mined from PR reviews#12352julian-risch wants to merge 3 commits into
julian-risch wants to merge 3 commits into