Started on Jul 9, 2020 1:35:01 PM Using strategy: Default [poll] Last Built Revision: Revision 38d9f8d8219cb4fcda468f4262555b1372a921b2 (refs/remotes/origin/develop) using credential af33df3a-79be-4696-a718-6d1127320060 > /usr/bin/git --version # timeout=10 using GIT_SSH to set credentials git for projects.gwdg.de > /usr/bin/git ls-remote -h git@git.projects.gwdg.de:dariah-de/tg/textgrid-laboratory/linkeditor.git # timeout=10 Found 21 remote heads on git@git.projects.gwdg.de:dariah-de/tg/textgrid-laboratory/linkeditor.git [poll] Latest remote head revision on refs/heads/develop is: 1fd4c2756e8e7961acd423fb8c75d9b7836c4e6d Done. Took 1.1 sec Changes found