Started on Sep 15, 2022, 2:37:00 AM Using strategy: Default [poll] Last Built Revision: Revision 351e384b3925890637e4d9e27da572314e9f52b4 (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: df6353bef8a2da78c777e4772f3c228bf63dfdaf Done. Took 0.47 sec Changes found