Author	SHA1	Message	Date
Heimdall	0ffd97baed	Bridge and git gate: repo-root and excluded-dir containment by path.relative, not a hardcoded backslash ... github-draft-pr threw 'Target path escapes repo root' on Linux and the gate never excluded its own wrapper dir. One helper, tools/path-within.mjs, replaces the three copies; case-insensitivity now follows the platform's path flavour. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>	2026-11-12 12:26:37 +00:00
Meta Vens	45dd81f968	Stop leaking real GitHub tool paths to dispatch turns	2026-06-17 08:08:49 +01:00
Meta Vens	01bc5558af	Gate dispatched GitHub CLI mutations	2026-06-17 07:53:38 +01:00