Started on Oct 14, 2020 10:32:01 AM Using strategy: Default [poll] Last Built Revision: Revision 44fd25a8a2fef32243977cab346f4638b862c082 (refs/remotes/origin/master) 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/JanssenProject/jans-fido2 # timeout=10 Found 1 remote heads on https://github.com/JanssenProject/jans-fido2 [poll] Latest remote head revision on refs/heads/master is: 8d6e1472740793982c698ced667774c022e40146 Done. Took 0.36 sec Changes found