Started on Jun 27, 2017 11:59:16 AM Started by event from 192.30.252.41 ⇒ http://dev.digital-humanities.de:8080/ci/github-webhook/ on Tue Jun 27 11:59:16 CEST 2017 Using strategy: Default [poll] Last Built Revision: Revision ef21edc0172ab88cbc6b4d52c10f9221728e5dad (refs/remotes/origin/testing) using GIT_ASKPASS to set credentials > git ls-remote -h https://github.com/DARIAH-DE/Topics # timeout=10 Found 4 remote heads on https://github.com/DARIAH-DE/Topics [poll] Latest remote head revision on refs/heads/testing is: 8353c7fcdc27bca3ee42c7238596b29f1b7f399d Done. Took 0.67 sec Changes found