Merge pull request #2513 from ethereum/onlyPushIfSomethingToPush

Only push to bytecode repository if there is something to push.
This commit is contained in:
chriseth 2017-07-03 18:45:11 +02:00 committed by GitHub
commit 194ff033ae

View File

@ -98,9 +98,8 @@ EOF
REPORT="$DIRNAME/$ZIP_SUFFIX.txt"
cp ../report.txt "$REPORT"
# Only push if adding actually worked, i.e. there were changes.
if git add "$REPORT"
if git add "$REPORT" && git commit -a -m "Added report $REPORT"
then
git commit -a -m "Added report $REPORT"
git pull --rebase
git push origin
else