Started on Oct 29, 2020 11:07:00 AM
Using strategy: Default
[poll] Last Built Revision: Revision ca3393353c3a35eab7020def2ab3e3b4c39cb25d (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: 0e00b96d314f1023a487417b627e9a654da3e94e
Done. Took 1.3 sec
Changes found