Console Output
Selected Git installation does not exist. Using Default
The recommended git tool is: NONE
No credentials specified
> git rev-parse --resolve-git-dir /var/lib/jenkins/jobs/lab-base/branches/v3-develop/workspace@2/.git # timeout=10
Fetching changes from the remote Git repository
> git config remote.origin.url https://gitlab.gwdg.de/dariah-de/textgridlab/base.git # timeout=10
Fetching without tags
Fetching upstream changes from https://gitlab.gwdg.de/dariah-de/textgridlab/base.git
> git --version # timeout=10
> git --version # 'git version 2.17.1'
> git fetch --no-tags --progress -- https://gitlab.gwdg.de/dariah-de/textgridlab/base.git +refs/heads/*:refs/remotes/origin/* # timeout=10
Checking out Revision e1d87924d04814fc2fba8abafde806e8054067f5 (v3-develop)
> git config core.sparsecheckout # timeout=10
> git checkout -f e1d87924d04814fc2fba8abafde806e8054067f5 # timeout=10
Commit message: "set parent version to 3.3.3-SNAPSHOT"
> git rev-list --no-walk e1d87924d04814fc2fba8abafde806e8054067f5 # timeout=10