shithub: dav1d

Info  •  Files  •  Log  •  Branches

CI: style: Allow the name 'David' in connection with copyright

--- a/.gitlab-ci.yml

+++ b/.gitlab-ci.yml

@@ -57,7 +57,7 @@

     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";