Started on Feb 13, 2018 9:37:59 AM Started by event from 192.30.252.39 ⇒ http://dev.digital-humanities.de:8080/ci/github-webhook/ on Tue Feb 13 09:37:59 CET 2018 Using strategy: Default [poll] Last Built Revision: Revision 78d2aed7a6f67f30f98b924ffe814f683f41f5ec (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 4 remote heads on https://github.com/DARIAH-DE/Topics [poll] Latest remote head revision on refs/heads/testing is: 04b857dce07574e2b2ed31d85669b3f3af59bd3f Done. Took 0.78 sec Changes found