Console Output

The recommended git tool is: NONE
using credential github
Wiping out workspace first.
Cloning the remote Git repository
Cloning with configured refspecs honoured and without tags
Avoid second fetch
Checking out Revision 87df49849d1e4920eec8ca18683233a8d902680d (master)
Cloning repository https://github.com/cuberite/docker-ci.git
 > git init /jenkins/workspace/docker-ci_master # timeout=10
Fetching upstream changes from https://github.com/cuberite/docker-ci.git
 > git --version # timeout=10
 > git --version # 'git version 2.20.1'
using GIT_ASKPASS to set credentials GitHub Access Token
 > git fetch --no-tags --force --progress -- https://github.com/cuberite/docker-ci.git +refs/heads/master:refs/remotes/origin/master # timeout=10
 > git config remote.origin.url https://github.com/cuberite/docker-ci.git # timeout=10
 > git config --add remote.origin.fetch +refs/heads/master:refs/remotes/origin/master # timeout=10
 > git config core.sparsecheckout # timeout=10
 > git checkout -f 87df49849d1e4920eec8ca18683233a8d902680d # timeout=10
Commit message: "Update Dockerfile"
 > git branch -a -v --no-abbrev # timeout=10
 > git checkout -b master 87df49849d1e4920eec8ca18683233a8d902680d # timeout=10
 > git rev-list --no-walk f84e1954364d78d42577ac7869673117472ed893 # timeout=10
Cleaning workspace
 > git rev-parse --verify HEAD # timeout=10
Resetting working tree
 > git reset --hard # timeout=10
 > git clean -fdx # timeout=10