Started on Dec 20, 2017 12:45:56 PM Started by event from 192.30.252.36 ⇒ http://dev.digital-humanities.de:8080/ci/github-webhook/ on Wed Dec 20 12:45:56 CET 2017 Using strategy: Default [poll] Last Built Revision: Revision 0115f35d3456bf1f6a46423615970c17102acdc1 (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: f4475dd2671f8ec053aa271b7293b3ec90b09f0b Done. Took 0.78 sec Changes found