Started on Nov 6, 2017 8:39:03 PM Started by event from 192.30.252.41 ⇒ http://dev.digital-humanities.de:8080/ci/github-webhook/ on Mon Nov 06 20:39:02 CET 2017 Using strategy: Default [poll] Last Built Revision: Revision 6f42f28fa0a5e3aa00621c5e043abc51ae1e7ac4 (refs/remotes/origin/testing) using GIT_ASKPASS to set credentials > git ls-remote -h https://github.com/DARIAH-DE/Topics # timeout=10 Found 3 remote heads on https://github.com/DARIAH-DE/Topics [poll] Latest remote head revision on refs/heads/testing is: 5033d5d9a63dd973e60499ac16b32d038a2092ac Done. Took 1.2 sec Changes found