Merge pull request #8995 from LeviHarrison/reposync-yamllint

Add .yamllint to reposync (and don't run when not installed)
This commit is contained in:
Julien Pivotto 2021-06-25 14:48:35 +02:00 committed by GitHub
commit 3707619900
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 5 additions and 1 deletions

View file

@ -201,7 +201,11 @@ endif
.PHONY: common-yamllint
common-yamllint:
@echo ">> running yamllint on all YAML files in the repository"
ifeq (, $(shell which yamllint))
@echo "yamllint not installed so skipping"
else
yamllint .
endif
# For backward-compatibility.
.PHONY: common-staticcheck

View file

@ -37,7 +37,7 @@ if [ -z "${GITHUB_TOKEN}" ]; then
fi
# List of files that should be synced.
SYNC_FILES="CODE_OF_CONDUCT.md LICENSE Makefile.common SECURITY.md"
SYNC_FILES="CODE_OF_CONDUCT.md LICENSE Makefile.common SECURITY.md .yamllint"
# Go to the root of the repo
cd "$(git rev-parse --show-cdup)" || exit 1