fix: lint the release path — globstar does not descend into dot-directories #118

Merged
dan-claude-bot merged 2 commits from fix/shellcheck-dotglob into main 2026-07-20 13:53:47 +00:00
2 changed files with 4 additions and 3 deletions
Showing only changes of commit c68c519558 - Show all commits

View file

@ -40,7 +40,7 @@ jobs:
<(git ls-files '*.sh' | sort -u))"
if [ -n "$missing" ]; then
echo "tracked scripts the shellcheck sweep does not cover (#116):"
printf ' %s\n' $missing
printf '%s\n' "$missing" | sed 's/^/ /'
exit 1
fi
shellcheck -x "${files[@]}"

View file

@ -59,8 +59,6 @@ which records not just what changed but what each drill run proved.
operator copy-pastes is as wrong as a role box executes, and it fails
later and further from the cause.
## 0.8.0 — 2026-07-19
### Fixed
- **CI's shellcheck sweep never lints `.github/scripts/*.sh`** (#116) —
@ -83,6 +81,9 @@ which records not just what changed but what each drill run proved.
a shopt subtlety hides one. `eof_guard_sweep` itself carried the identical
blind spot — it rebuilds the same glob — and is widened the same way.
## 0.8.0 — 2026-07-19
### Added
- **Merging the release PR IS the release — and the release re-arms main