mirror of
https://github.com/public-apis/public-apis.git
synced 2025-05-11 16:16:47 +02:00
Move json into PR-only branch
This commit is contained in:
parent
e0ffb2ff62
commit
b76486d66e
1 changed files with 30 additions and 30 deletions
|
@ -16,17 +16,17 @@ else
|
|||
cat additions.txt
|
||||
echo "------- END ADDITIONS ------"
|
||||
LINK_FILE=additions.txt
|
||||
fi
|
||||
|
||||
echo "checking if /json was changed..."
|
||||
egrep "\+{3}\s.\/json\/" diff.txt > json.txt
|
||||
if [ $? -eq 0 ]; then
|
||||
echo "checking if /json was changed..."
|
||||
if egrep "\+{3}\s.\/json\/" diff.txt > json.txt; then
|
||||
echo "JSON files are auto-generated! Please do not update these files:"
|
||||
cat json.txt
|
||||
exit 1
|
||||
else
|
||||
else
|
||||
echo "/json check passed!"
|
||||
rm json.txt
|
||||
fi
|
||||
|
||||
fi
|
||||
|
||||
echo "running format validation..."
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue