Started on Feb 13, 2018 11:24:47 AM Started by event from 192.30.252.34 ⇒ http://dev.digital-humanities.de:8080/ci/github-webhook/ on Tue Feb 13 11:24:47 CET 2018 Using strategy: Default [poll] Last Built Revision: Revision 04b857dce07574e2b2ed31d85669b3f3af59bd3f (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: 58d4a69ce06a6fb35faf91a5399c6dfe35dc2c5c Done. Took 0.74 sec Changes found