This commit is contained in:
Paolo Asperti 2024-08-05 21:28:20 +02:00
parent c86193945b
commit f3211ec861
Signed by: paspo
GPG Key ID: 06D46905D19D5182

View File

@ -19,7 +19,6 @@ jobs:
run: |
set -x
num=$(git diff --unified=0 ${{ github.event.pull_request.base.sha }} ${{ github.event.pull_request.head.sha }} content/ | grep -E "^[+]" | grep -Ev '^(--- a/|\+\+\+ b/)' | grep -c -e '[\u2014]' -e '[\u2018]' -e '[\u2019]' -e '[\u201C]' -e '[\u201D]' -e '[\u2026]' )
echo "num: $num"
exit 0
if [ $num -gt 0 ] ; then exit 1 ; else echo "ok" ; done
if (( $num -gt 0 )) ; then
exit 1
fi