Started on May 20, 2016 1:20:08 PM Using strategy: Default [poll] Last Built Revision: Revision 105f872343ac98d00987cbc6981025d8dec1bfca (refs/remotes/origin/develop) using GIT_SSH to set credentials git for projects.gwdg.de > git --version # timeout=10 > git -c core.askpass=true ls-remote -h git@git.projects.gwdg.de:textgridlab-dependencies.git # timeout=10 Found 10 remote heads on git@git.projects.gwdg.de:textgridlab-dependencies.git [poll] Latest remote head revision on refs/heads/develop is: fd29c0a29f93bda400369370a06ed24540bc8194 Done. Took 0.95 sec Changes found