Started on 8 Dec 2023, 11:14:43
Using strategy: Default
[poll] Last Built Revision: Revision 15f6af4c674dea5896a47f5de04d34d416cbd593 (origin/jenkins_riscv64_gcc13)
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/helmutg/rebootstrap.git # timeout=10
Found 187 remote heads on https://salsa.debian.org/helmutg/rebootstrap.git
[poll] Latest remote head revision on refs/heads/jenkins_riscv64_gcc13 is: 8bbcad67dcec2c4a6e8a1db05b011ab0c8486ef4
Done. Took 1.4 sec
Changes found