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

Open
c6ristian wants to merge 1 commit from chris/lint into main
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/
All checks were successful
/ Ansible Lint (push) Successful in 2m37s
Required
Details
/ build (pull_request) Successful in 28s
Required
Details
/ Ansible Lint (pull_request) Successful in 2m31s
Required
Details
This pull request doesn't have enough approvals yet. 0 of 1 approvals granted.
This branch is out-of-date with the base branch
You are not authorized to merge this pull request.
View command line instructions

Checkout

From your project repository, check out a new branch and test the changes.
git fetch -u origin chris/lint:chris/lint
git switch chris/lint
Sign in to join this conversation.
No description provided.