Skip to content

[tooling] Ignore git-ignored files in shell-lint#1430

Merged
mickmis merged 1 commit intointeruss:mainfrom
Orbitalize:fix_1427
Apr 20, 2026
Merged

[tooling] Ignore git-ignored files in shell-lint#1430
mickmis merged 1 commit intointeruss:mainfrom
Orbitalize:fix_1427

Commits

Commits on Apr 20, 2026