Git Polling Log
Started on Dec 25, 2024, 7:21:00 AM
Using strategy: Default
[poll] Last Built Revision: Revision ffed493dafacb376f1964414b4659ea19684b775 (origin/master)
The recommended git tool is: NONE
No credentials specified
> git --version # timeout=10
> git --version # 'git version 2.39.5'
> git ls-remote -h -- https://gerrit.osmocom.org/osmo-hnodeb # timeout=10
Found 4 remote heads on https://gerrit.osmocom.org/osmo-hnodeb
[poll] Latest remote head revision on refs/heads/master is: ffed493dafacb376f1964414b4659ea19684b775 - already built by 8342
Done. Took 0.12 sec
No changes