Exclude deletions from linting

This commit is contained in:
Norbi Peti 2020-07-31 20:17:19 +02:00 committed by GitHub
parent ad394477f7
commit 57b500bbd0
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -4,4 +4,4 @@ python:
install:
- pip install yamllint
script:
- git diff --name-only $TRAVIS_COMMIT_RANGE | grep -Ee ".yml|dynmap.*.txt" | xargs yamllint
- git diff --name-only --diff-filter=d $TRAVIS_COMMIT_RANGE | grep -Ee ".yml|dynmap.*.txt" | xargs yamllint