Started on Dec 19, 2017 2:22:32 AM Started by event from 192.30.252.40 ⇒ http://dev.digital-humanities.de:8080/ci/github-webhook/ on Tue Dec 19 02:22:32 CET 2017 Using strategy: Default [poll] Last Built Revision: Revision 43b6b3f3dbf48c288ae4a4c94cec8330f89fcaf4 (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: 0d9f212d79d794a6f4db14068dd2d09179bcf995 Done. Took 0.78 sec Changes found