Started on Jan 23, 2015 1:35:00 PM Using strategy: Default [poll] Last Built Revision: Revision 1b5771ac0998d37fc86a3225c389baa82e9c48a9 (refs/remotes/origin/develop) using GIT_SSH to set credentials git for projects.gwdg.de > git ls-remote -h git@git.projects.gwdg.de:textgridlab-dependencies.git develop # timeout=10 [poll] Latest remote head revision is: 85bf39ce0cc08918d5a17733bd727f87afb67319 Done. Took 0.97 sec Changes found