Started on Nov 11, 2022, 8:37:00 AM Using strategy: Default [poll] Last Built Revision: Revision 53fe3781e6b2a5043417ee054bc120c63180b936 (refs/remotes/origin/dev) The recommended git tool is: NONE No credentials specified > git --version # timeout=10 > git --version # 'git version 1.8.3.1' > git ls-remote -h https://github.com/vufind-org/vufindhttp.git # timeout=10 Found 1 remote heads on https://github.com/vufind-org/vufindhttp.git [poll] Latest remote head revision on refs/heads/dev is: 675fdf72da49d5f843871f74588f51103178302e Done. Took 0.54 sec Changes found