Don't create new release if not needed

This commit is contained in:
redfast00 2018-08-12 10:44:59 +02:00
parent 6acdbeaffb
commit 9481a95a1a
No known key found for this signature in database
GPG Key ID: 5946E0E34FD0553C
1 changed files with 1 additions and 1 deletions

View File

@ -10,7 +10,7 @@ declare release_dir="$dir/releases/$timestamp"
# Pull latest revision
echo "-> Pulling latest release"
git pull
git pull | grep -q -v 'Already up-to-date.' && echo "Already up-to-date" && exit 0
echo "-> Checking validity of data.json"
jsonlint src/data.json