Started on Aug 30, 2022, 12:51:00 PM Using strategy: Default The recommended git tool is: NONE No credentials specified > git --version # timeout=10 > git --version # 'git version 2.30.2' > git ls-remote -h -- https://gerrit.osmocom.org/docker-playground # timeout=10 Found 25 remote heads on https://gerrit.osmocom.org/docker-playground [poll] Latest remote head revision on refs/heads/master is: d10cc6a598a2262c5125df68e0532d4ee44bd840 Done. Took 0.33 sec Changes found