This commit is contained in:
Paolo Asperti 2024-08-05 21:32:12 +02:00
parent f3211ec861
commit 55ebacd78d
Signed by: paspo
GPG Key ID: 06D46905D19D5182

View File

@ -15,10 +15,11 @@ jobs:
fetch-depth: 0
- name: Check for disallowed chars
shell: bash
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]' )
if (( $num -gt 0 )) ; then
if [ "$num" = "0" ] ; then
exit 0
else
exit 1
fi