Set Travis to skip duplicate build of new JSON

This commit is contained in:
Dave Machado 2017-05-25 11:00:51 -04:00 committed by GitHub
parent 49412a28fb
commit 15f974f127

View file

@ -24,6 +24,6 @@ git reset upstream/master
mv ../../json . mv ../../json .
git add json/ git add json/
git commit -m "rebuild JSON at ${rev}" git commit -m "rebuild JSON at ${rev}" -m "[ci skip]"
git push upstream HEAD:master git push upstream HEAD:master