Skip to content

chore(tooling): fix import lint portability and untrack planning notes#81

Merged
jsugg merged 2 commits into
mainfrom
chore/tooling-portability
Jul 15, 2026
Merged

chore(tooling): fix import lint portability and untrack planning notes#81
jsugg merged 2 commits into
mainfrom
chore/tooling-portability

Conversation

@jsugg

@jsugg jsugg commented Jul 15, 2026

Copy link
Copy Markdown
Owner

Two unrelated housekeeping changes, split into one commit each. No runtime impact.

Import lint portability

scripts/run_import_lint.sh collected its path array with mapfile, a Bash 4+
builtin. macOS ships Bash 3.2 (/bin/bash here is 3.2.57), where mapfile does
not exist; under set -euo pipefail the lane could exit before linting anything.

Replaced with the while IFS= read -r loop already used by
scripts/ci_classify_changes.sh, so the two scripts now share one idiom.

Untrack completed planning notes

.local/ is ignored (.gitignore:28), but .local/issues.md and
.local/public-api-surface-improvements.md were tracked exceptions inside it.
Both are finished and are retained locally as *.done.md, so nothing is lost —
this only stops tracking them.

Verification

make lint, make type, and make test pass locally. The pre-push gate
(make prepush) passed.

jsugg added 2 commits July 15, 2026 17:54
mapfile is a Bash 4+ builtin, but macOS ships Bash 3.2, so the import lint
lane could exit before it linted anything. Collect paths with the same
while-read loop already used by ci_classify_changes.sh.
.local/ is ignored; these two files were the only tracked exceptions left
in it. Both are retained locally as *.done.md, so no content is lost.
@jsugg
jsugg merged commit c5a1df3 into main Jul 15, 2026
12 checks passed
@jsugg
jsugg deleted the chore/tooling-portability branch July 15, 2026 21:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant