Started on Jun 28, 2024, 8:07:00 AM Using strategy: Default [poll] Last Built Revision: Revision 6e39d35c07870bc6d8010973e7e332fdd084ebb8 (refs/remotes/origin/dev) 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/vufind-org/vufind.git # timeout=10 Found 43 remote heads on https://github.com/vufind-org/vufind.git [poll] Latest remote head revision on refs/heads/dev is: 248c008d5df4f8249f0f6ed048270c2f7fd7589d Done. Took 0.3 sec Changes found