chore: exclude AGENTS.md from markdown lint

oetr · oetr · commit 3e0f2bee4fe3 · 2026-03-30T18:39:31.000+02:00
AGENTS.md uses multiple top-level headings and unlabeled code fences
by design.  Exclude it from markdownlint rather than restructuring
the document.
diff --git a/eslint.config.mjs b/eslint.config.mjs
@@ -128,6 +128,7 @@ export default tseslint.config(
 	// Markdown files
 	{
 		files: ["**/*.md"],
+		ignores: ["AGENTS.md"],
 		plugins: {
 			markdownlint,
 		},

Original file line number	Diff line number	Diff line change
`@@ -128,6 +128,7 @@ export default tseslint.config(`
`128`	`128`	`// Markdown files`
`129`	`129`	`{`
`130`	`130`	`files: ["*/.md"],`
	`131`	`+ ignores: ["AGENTS.md"],`
`131`	`132`	`plugins: {`
`132`	`133`	`markdownlint,`
`133`	`134`	`},`