SuccessConsole Output

17:35:13 [2021-07-10T21:35:13.184Z] The recommended git tool is: git
17:35:14 [2021-07-10T21:35:14.585Z] No credentials specified
17:35:14 [2021-07-10T21:35:14.588Z] Cloning the remote Git repository
17:35:14 [2021-07-10T21:35:14.602Z] Cloning repository git://git.eclipse.org/gitroot/ease/org.eclipse.ease.core.git
17:35:14 [2021-07-10T21:35:14.629Z]  > git init /home/jenkins/agent/workspace/ease.verify.core.target.2019-03 # timeout=10
17:35:14 [2021-07-10T21:35:14.647Z] Fetching upstream changes from git://git.eclipse.org/gitroot/ease/org.eclipse.ease.core.git
17:35:14 [2021-07-10T21:35:14.648Z]  > git --version # timeout=10
17:35:14 [2021-07-10T21:35:14.670Z]  > git --version # 'git version 1.8.3.1'
17:35:14 [2021-07-10T21:35:14.671Z]  > git fetch --tags --progress git://git.eclipse.org/gitroot/ease/org.eclipse.ease.core.git +refs/heads/*:refs/remotes/origin/* # timeout=10
17:35:15 [2021-07-10T21:35:15.752Z] Avoid second fetch
17:35:15 [2021-07-10T21:35:15.763Z] Checking out Revision cdfb6e9ad289c3cdf463efd1bf227075f3a2c838 (refs/remotes/origin/master)
17:35:15 [2021-07-10T21:35:15.746Z]  > git config remote.origin.url git://git.eclipse.org/gitroot/ease/org.eclipse.ease.core.git # timeout=10
17:35:15 [2021-07-10T21:35:15.749Z]  > git config --add remote.origin.fetch +refs/heads/*:refs/remotes/origin/* # timeout=10
17:35:15 [2021-07-10T21:35:15.756Z]  > git rev-parse refs/remotes/origin/master^{commit} # timeout=10
17:35:15 [2021-07-10T21:35:15.770Z]  > git config core.sparsecheckout # timeout=10
17:35:15 [2021-07-10T21:35:15.773Z]  > git checkout -f cdfb6e9ad289c3cdf463efd1bf227075f3a2c838 # timeout=10
17:35:19 [2021-07-10T21:35:19.365Z] Commit message: "Bug 522137: Fix bugs in setup script"
17:35:19 [2021-07-10T21:35:19.371Z]  > git rev-list --no-walk cdfb6e9ad289c3cdf463efd1bf227075f3a2c838 # timeout=10
17:35:19 [2021-07-10T21:35:19.391Z] Cleaning workspace
17:35:19 [2021-07-10T21:35:19.394Z]  > git rev-parse --verify HEAD # timeout=10
17:35:19 [2021-07-10T21:35:19.396Z] Resetting working tree
17:35:19 [2021-07-10T21:35:19.397Z]  > git reset --hard # timeout=10
17:35:19 [2021-07-10T21:35:19.522Z]  > git clean -fdx # timeout=10