From e7b64af1f05c35421eb9b23e8adfad7c4592910f Mon Sep 17 00:00:00 2001 From: kisfenyo Date: Thu, 15 Oct 2026 21:32:01 +0200 Subject: [PATCH] build.sh's workspace/ is generated output, not a source change MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit The clean-tree gate added minutes ago immediately caught its own build: build.sh creates its scratch directory beside the script, so a build run from a CLONE — which is exactly what the gate pushes you to when the shared tree is busy — dirties the tree it is checking. It is generated output and belongs in .gitignore. Co-Authored-By: Claude Opus 5 Claude-Session: https://claude.ai/code/session_0117kRTSgs3rJWUFGxyoWN6Y --- controller/.gitignore | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/controller/.gitignore b/controller/.gitignore index da3d6f4..6097d0f 100644 --- a/controller/.gitignore +++ b/controller/.gitignore @@ -41,4 +41,8 @@ restic-password # App assets (synced from felhom.eu website at build time) assets/*.svg assets/*.png -assets/*.webp \ No newline at end of file +assets/*.webp +# build.sh's scratch directory. It is created beside the script, so a build run from a CLONE of +# this repo (which is what the clean-tree gate pushes you to when the shared tree is busy) would +# otherwise dirty the very tree the gate is checking. Generated output, never committed. +workspace/