Started on 31 Jan 2024, 14:14:25 Using strategy: Default [poll] Last Built Revision: Revision af351fcddaa095badc9469c12b83d7eb528cc39c (origin/master) The recommended git tool is: NONE No credentials specified > git --version # timeout=10 > git --version # 'git version 2.39.2' > git ls-remote -h -- https://salsa.debian.org/debian-edu/debian-edu-config # timeout=10 Found 21 remote heads on https://salsa.debian.org/debian-edu/debian-edu-config [poll] Latest remote head revision on refs/heads/master is: a673e678d0eb0056520aa9db6395a04caaaabf51 Done. Took 1.1 sec Changes found