Git Polling Log

Started on May 16, 2024, 1:00:00 AM
Using strategy: Default
[poll] Last Built Revision: Revision 5fb04bd0dc8b8b3a0efa17a3a7c32282762d310c (refs/remotes/origin/published)
The recommended git tool is: git
No credentials specified
 > git --version # timeout=10
 > git --version # 'git version 2.43.0'
 > git ls-remote -h -- https://github.com/eclipse/xtext-website.git # timeout=10
Found 4 remote heads on https://github.com/eclipse/xtext-website.git
Ignoring refs/heads/lb_37 as it doesn't match any of the configured refspecs
Ignoring refs/heads/cd_pre234 as it doesn't match any of the configured refspecs
Ignoring refs/heads/main as it doesn't match any of the configured refspecs
[poll] Latest remote head revision on refs/heads/published is: 5fb04bd0dc8b8b3a0efa17a3a7c32282762d310c - already built by 1104
Done. Took 0.24 sec
No changes