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 a1b12f5..e63784b 100644
--- a/AGENTS.md
+++ b/AGENTS.md
@@ -238,7 +238,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: