Started on 25 Dec 2023, 10:17:11
Using strategy: Default
[poll] Last Built Revision: Revision eb7e012a526c8d3e53e1575fdfbe4288473736cd (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-install # timeout=10
Found 9 remote heads on https://salsa.debian.org/debian-edu/debian-edu-install
[poll] Latest remote head revision on refs/heads/master is: 41d403fe59a27e26c73f4a51f43b13ab808dd23d
Done. Took 1.6 sec
Changes found