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
Owner
No description provided.
ansible-lint: ignore more directories that aren't part of the repo
All checks were successful
/ Ansible Lint (push) Successful in 2m37s
/ build (pull_request) Successful in 28s
/ Ansible Lint (pull_request) Successful in 2m31s
539e507339
You can view your changes at https://staging.infra-docs.hamburg.ccc.de/pr167/
stb approved these changes 2026-10-08 11:07:14 +02:00
Merge branch 'main' into chris/lint
All checks were successful
/ build (pull_request) Successful in 26s
/ Ansible Lint (push) Successful in 5m4s
/ Ansible Lint (pull_request) Successful in 5m1s
/ cleanup-staging (pull_request) Successful in 5s
03221a93f6
june merged commit 47d4da604a into main 2026-10-29 15:50:54 +01:00
june deleted branch chris/lint 2026-10-29 15:50:54 +01:00
Sign in to join this conversation.
No description provided.