aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--AGENTS.md2
1 files changed, 1 insertions, 1 deletions
diff --git a/AGENTS.md b/AGENTS.md
index 2d1d077..c887322 100644
--- a/AGENTS.md
+++ b/AGENTS.md
@@ -298,7 +298,7 @@ directory pointing to downloaded source archives. These must never be committed
to git. Before any `git add`, run from the repo root:
```bash
-find . -type l -delete
+find . -type l -not -path './.git/*' -delete
```
Commit conventions: