No need to use 'gh-pages' branch

2 files changed, 17 insertions, 14 deletions

diff --git a/.travis/deploy-gh-pages.sh b/.travis/deploy-gh-pages.sh
deleted file mode 100755
index 1eca430d..00000000
--- a/.travis/deploy-gh-pages.sh
+++ /dev/null
@@ -1,14 +0,0 @@
-#!/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
diff --git a/.travis/trigger-site-deployment.py b/.travis/trigger-site-deployment.py
new file mode 100644
index 00000000..6add3015
--- /dev/null
+++ b/.travis/trigger-site-deployment.py
@@ -0,0 +1,17 @@
+import os
+import urllib2
+import json
+
+def request(url, data, token = None):
+  req = urllib2.Request(url, data)
+  req.add_header('User-Agent', 'MyClient/1.0.0')
+  req.add_header('Accept', 'application/vnd.travis-ci.2+json')
+  req.add_header('Content-Type', 'application/json; charset=UTF-8')
+  if token:
+    req.add_header('Travis-API-Version', '3')
+    req.add_header('Authorization', 'token ' + travis_token)
+  p = urllib2.urlopen(req)
+  return json.loads(p.read())
+
+travis_token = request('https://api.travis-ci.org/auth/github', '{"github_token":"' + os.environ['GH_TOKEN'] + '"}')['access_token']
+print(request('https://api.travis-ci.org/repo/jacoco%2Fwww.eclemma.org/requests', '{ "request": { "branch": "master", "message": "New JaCoCo snapshot" } }', travis_token))