Started on Dec 20, 2017 1:03:01 PM Started by event from 192.30.252.45 ⇒ http://dev.digital-humanities.de:8080/ci/github-webhook/ on Wed Dec 20 13:03:01 CET 2017 Using strategy: Default [poll] Last Built Revision: Revision f4475dd2671f8ec053aa271b7293b3ec90b09f0b (refs/remotes/origin/testing) > git --version # timeout=10 using GIT_ASKPASS to set credentials > git ls-remote -h https://github.com/DARIAH-DE/Topics # timeout=10 Found 5 remote heads on https://github.com/DARIAH-DE/Topics [poll] Latest remote head revision on refs/heads/testing is: 53c089135870513e32a57caa5a4c8787ff215026 Done. Took 1.1 sec Changes found