From 2f9ab82b07f77df0395ec81b2b207ae73b2a3434 Mon Sep 17 00:00:00 2001
From: Christophe Lallement <ouaibsky@gmail.com>
Date: Wed, 30 Sep 2026 11:23:15 -0400
Subject: [PATCH] chore(git): ignore the nested distrib worktree

distrib/ is a second checkout of this repository on the distrib branch
(git worktree add -b distrib distrib main); its .git file would otherwise
show up as an untracked embedded repository on main.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_011xpLSeYKKHX6o16jzYLgZv
---
 .gitignore | 3 +++
 1 file changed, 3 insertions(+)

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`).