Started on Jun 1, 2021 9:41:30 AM Using strategy: Default [poll] Last Built Revision: Revision ae70623fd4ed0e1e916b4e9cd455f0820037b32b (origin/devel) The recommended git tool is: NONE No credentials specified > git --version # timeout=10 > git --version # 'git version 2.11.0' > git ls-remote -h -- gitolite3@puppet-git.lizard:tails # timeout=10 Found 334 remote heads on gitolite3@puppet-git.lizard:tails [poll] Latest remote head revision on refs/heads/devel is: c98629a4d31509ce33664fb53851a30de9ad8b97 Done. Took 0.92 sec Changes found