Started on Feb 28, 2023, 2:37:32 PM Using strategy: Default [poll] Last Built Revision: Revision 03de22e1dcbedff8c8fa6db22dc48925690e412b (origin/devel) The recommended git tool is: NONE No credentials specified > git --version # timeout=10 > git --version # 'git version 2.30.2' > git ls-remote -h -- gitolite3@puppet-git.lizard:tails # timeout=10 Found 309 remote heads on gitolite3@puppet-git.lizard:tails [poll] Latest remote head revision on refs/heads/devel is: 039cfb863fd9e92e60799d937ead12b0a93afe5d Done. Took 0.83 sec Changes found