docs: record git-ignored deploy/ scrub gap + resolution (incl. LDAP directory rename)

This commit is contained in:
Joseph Doherty
2026-05-31 21:58:49 -04:00
parent c899cb162c
commit a47317d010
2 changed files with 12 additions and 0 deletions
+6
View File
@@ -7,6 +7,12 @@
set -euo pipefail
cd "$(git rev-parse --show-toplevel)"
# NOTE: this script only sees git-TRACKED files (via git grep). Git-ignored
# trees — notably /deploy/ (see .gitignore) — are out of its reach and were
# scrubbed separately, by hand, with the same substitution set. A git-based
# completeness gate likewise cannot see them; verify those trees with a plain
# `grep -rniI scadalink <dir>`.
# Carve-outs (migration records): prior rename tooling/design, the DB-rename
# helper, this script itself, and the rename design + plan docs (which document
# the old→new mapping and would be self-corrupted by the substitution).