Started on Mar 29, 2016 6:02:54 PM Using strategy: Default [poll] Last Built Revision: Revision 8ab58921e1f6acb67b84122f1015402ac096a9a5 (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: 105f872343ac98d00987cbc6981025d8dec1bfca Done. Took 1 sec Changes found