ansible-lint: ignore more directories that aren't part of the repo #167

Merged
june merged 2 commits from chris/lint into main 2026-10-29 15:50:54 +01:00