check.sh

REMOTE=${REMOTE:-"upstream/master"}
DOC_EXAMPLE_CHANGE_PATTERN="\
-e ^doc/ \
-e ^examples/ \
-e ^(VERSION|LICENSE)$ \
-e \.md$\
"

echo using remote $REMOTE

LINES=$(git --no-pager diff --name-only HEAD..$REMOTE | grep -vE $DOC_EXAMPLE_CHANGE_PATTERN | wc -l)

if [ $LINES -gt 0 ]; then
    echo "$LINES files changed"
else
    echo "CI not needed"
fi