Git Polling Log

Started on May 1, 2026, 1:33:00 PM
Using strategy: Default
[poll] Last Built Revision: Revision d888f1bd3d2211acde55e2cda5e061b5039f8961 (origin/master)
The recommended git tool is: NONE
No credentials specified
 > git --version # timeout=10
 > git --version # 'git version 2.47.3'
 > git ls-remote -h -- https://gerrit.osmocom.org/libosmo-asn1-tcap # timeout=10