Started on Oct 1, 2020 9:57:52 PM
Started by event from 140.82.115.250 ⇒ https://jenkins:8080/github-webhook/ on Thu Oct 01 21:57:52 GMT 2020
Using strategy: Default
[poll] Last Built Revision: Revision 8947147c25e2640519897bfdc8807e97ee291d70 (origin/master)
No credentials specified
 > git --version # timeout=10
 > git --version # 'git version 2.20.4'
 > git ls-remote -h -- https://github.com/cuberite/cuberite.git # timeout=10
Found 47 remote heads on https://github.com/cuberite/cuberite.git
[poll] Latest remote head revision on refs/heads/master is: d875059cd5ea2dd5d1d0d9612bb48697f7292636
Done. Took 0.73 sec
Changes found