Add bin/ci with gh signoff - #7

Merged

jeremy merged 19 commits into

mainfrom

Aug 3, 2026

Commits on Aug 3, 2026

Add bin/ci with gh signoff, matching our other repos
jeremy
committed
7b10725
Handle bin/ci --help before the lint pass, not after
jeremy
committed
2e13072
Fix two silent false-greens in the lint pass, and stop under-scheduling builds
jeremy
committed
d3c229a
Inspect line-continued install_package calls too
jeremy
committed
2c55da8
Match package URLs regardless of quoting
jeremy
committed
c6d9d3b
Check every URL for a digest, not just ones that look like install_package
jeremy
committed
4837464
Exempt the two config files by name, not the whole savannah domain
jeremy
committed
fbf7812
Match the exempted config URLs as exact literals
jeremy
committed
c689796
Join continued lines with nothing, as shell does
jeremy
committed
ca195bf
Ignore URLs in shell comments
jeremy
committed
67ddaf4
Recognise comments that open straight after a shell operator
jeremy
committed
8a5ad5f
Track quote state when stripping comments
jeremy
committed
3ac1420
Fail safe on quoting forms the scanner doesn't model
jeremy
committed
f990ce7
Carry quote state between lines
jeremy
committed
ff1c335
Latch closed when quote state becomes unknowable
jeremy
committed
6c788ff
Skip heredoc bodies instead of scanning them as shell
jeremy
committed
3345ee0
Identify downloads by shape, deleting the shell scanner
jeremy
committed
9ede8ff
Cut unquoted URLs at the first operator, not just trailing ones
jeremy
committed
98a62f9
Classify on the URL path, ignoring the query string
jeremy
committed
f0314e6