Git Polling Log
Started on Apr 19, 2024, 3:20:00 PM Using strategy: Default [poll] Last Built Revision: Revision 1c2933af9e7fb48075e62fc0ed68f714759bc7a8 (refs/remotes/origin/0.7) The recommended git tool is: NONE No credentials specified > git --version # timeout=10 > git --version # 'git version 2.43.0' > git ls-remote -h -- https://github.com/eclipse-uomo/uomo.git # timeout=10 Found 11 remote heads on https://github.com/eclipse-uomo/uomo.git Done. Took 0.24 sec No changes