Git Polling Log
Started on Sep 7, 2024, 10:00:00 PM
Using strategy: Default
[poll] Last Built Revision: Revision 4d534f030279d5c087e9af3780a24c86679f7c8f (origin/master)
The recommended git tool is: NONE
No credentials specified
> git --version # timeout=10
> git --version # 'git version 2.45.2'
> 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 - already built by 18
Done. Took 0.72 sec
No changes