Started on Dec 9, 2021, 5:50:01 AM
Using strategy: Default
[poll] Last Built Revision: Revision c759735920b87ef8f271dbfcdff1c88021dc5f68 (origin/master)
The recommended git tool is: NONE
No credentials specified
 > git --version # timeout=10
 > git --version # 'git version 2.20.1'
 > git ls-remote -h -- https://git.eclipse.org/r/gendoc/org.eclipse.gendoc.git # timeout=10
Found 8 remote heads on https://git.eclipse.org/r/gendoc/org.eclipse.gendoc.git
[poll] Latest remote head revision on refs/heads/master is: 4d534f030279d5c087e9af3780a24c86679f7c8f
Done. Took 0.18 sec
Changes found