Started on Dec 14, 2017 12:53:01 PM Started by event from 192.30.252.35 ⇒ http://dev.digital-humanities.de:8080/ci/github-webhook/ on Thu Dec 14 12:53:01 CET 2017 Using strategy: Default [poll] Last Built Revision: Revision 1fd566eba04220f046d4e5fe58fbec776c6134f1 (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: d6cdee8509fee2c865c9419b2701c4f40cc8a061 Done. Took 1.3 sec Changes found