github-mig/ZoKrates
github-mig/ZoKrates
1
0
Fork 0
mirror of synced 2025-09-24 04:40:05 +00:00
Code Issues Projects Releases Wiki Activity

fix git diff command in changelog script

Browse source
This commit is contained in:
dark64 2021-03-30 17:42:15 +02:00
parent 4d6225fc1e
commit f1138af08b
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
scripts/changelog-check.sh
View file

@ -20,7 +20,7 @@ else
exit 1 exit 1
fi fi
cl_diff=$(git diff --exit-code $GITHUB_HEAD_REF CHANGELOG.md) cl_diff=$(git diff --exit-code $GITHUB_SHA -- CHANGELOG.md)
if [ -n "$cl_diff" ]; then if [ -n "$cl_diff" ]; then
echo "Pull requests should not directly modify the main CHANGELOG.md file. For more information, please read changelogs/README.md" echo "Pull requests should not directly modify the main CHANGELOG.md file. For more information, please read changelogs/README.md"
exit 1 exit 1