| #!/bin/sh | |
| set -e | |
| rm -rf gh-pages | |
| git clone --single-branch --branch gh-pages https://github.com/jacoco/jacoco.git gh-pages | |
| cd gh-pages/trunk | |
| unzip -o ../../jacoco/target/jacoco*.zip | |
| rm -r lib | |
| git add . | |
| git commit -m "Automatic deployment" | |
| git push "https://${GH_TOKEN}@github.com/jacoco/jacoco.git" gh-pages > /dev/null 2>&1 |