From e5e56fd7722e311340826e7bf26af769bb37a572 Mon Sep 17 00:00:00 2001
From: "Jan-Peter v. Hunnius" <jan@hunnius.net>
Date: Mon, 6 Jul 2026 08:23:15 +0200
Subject: [PATCH] chore: gitignore AGENTS.md (project-local file)

---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index 2ad233d..4b1654b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -15,3 +15,4 @@ proptest-regressions/
 
 # Agent notes
 AGENTS.md
+AGENTS.md