diff --git a/.gitignore b/.gitignore
index 8d26f9d..e95ed29 100644
--- a/.gitignore
+++ b/.gitignore
@@ -47,6 +47,9 @@ logs/
 jdeploy-bundle/
 jdeploy/
 node_modules/
+# `git worktree add -b distrib distrib main`: a second checkout of this repository on the distrib branch,
+# nested here for convenience. Never part of main's own tree.
+/distrib/
 
 
 # graft's local graph cache — regenerable, not committed (run `graft build`).