diff options
author | Matthias Dressel <code@deadcode.eu> | 2020-04-03 07:31:22 +0300 |
---|---|---|
committer | Jean-Baptiste Kempf <jb@videolan.org> | 2020-04-03 15:27:29 +0300 |
commit | 5a3e64f17f475dd1461c7c63d3d1b59950e26ebd (patch) | |
tree | 85bdd293b4a45b2f30d10817c04cb4d6a1a3d687 /.gitlab-ci.yml | |
parent | 85519d0e8bdf2af76ce642a7f9e1432ba5e824f6 (diff) |
CI: style: Allow the name 'David' in connection with copyright
Diffstat (limited to '.gitlab-ci.yml')
-rw-r--r-- | .gitlab-ci.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 213ce51..241bc85 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -57,7 +57,7 @@ style-check: stage: style script: - git grep -I -n -P "\t|\r| $" -- . ':(exclude)*/compat/*' && echo "Trailing whitespace" && exit 1 - - git grep -I -n -i "david" -- . ':(exclude)THANKS.md' ':(exclude).gitlab-ci.yml' && echo "Misspelled dav1d" && exit 1 + - git grep -I -n -i -e 'david' --and --not -e 'copyright' -- . ':(exclude)THANKS.md' ':(exclude).gitlab-ci.yml' && echo "Misspelled dav1d" && exit 1 - git grep -I -l -z "" -- . ':(exclude)*/compat/*' | while IFS= read -r -d '' i; do if [ -n "$(tail -c 1 "$i")" ]; then echo "No newline at end of $i"; |