Console Output

11:38:36 [2023-07-04T15:38:36.478Z] The recommended git tool is: NONE
11:38:38 [2023-07-04T15:38:38.102Z] using credential github-bot
11:38:38 [2023-07-04T15:38:38.112Z] Cloning the remote Git repository
11:38:38 [2023-07-04T15:38:38.112Z] Cloning with configured refspecs honoured and without tags
11:38:38 [2023-07-04T15:38:38.132Z] Cloning repository https://github.com/xtext/xtext-reference-projects.git
11:38:38 [2023-07-04T15:38:38.166Z]  > git init /home/jenkins/agent/workspace/xtext-reference-projects_master # timeout=10
11:38:38 [2023-07-04T15:38:38.191Z] Fetching upstream changes from https://github.com/xtext/xtext-reference-projects.git
11:38:38 [2023-07-04T15:38:38.191Z]  > git --version # timeout=10
11:38:38 [2023-07-04T15:38:38.195Z]  > git --version # 'git version 2.39.1'
11:38:38 [2023-07-04T15:38:38.195Z] using GIT_ASKPASS to set credentials GitHub bot (username/token)
11:38:38 [2023-07-04T15:38:38.204Z]  > git fetch --no-tags --force --progress -- https://github.com/xtext/xtext-reference-projects.git +refs/heads/master:refs/remotes/origin/master # timeout=10
11:38:39 [2023-07-04T15:38:39.441Z] Avoid second fetch
11:38:39 [2023-07-04T15:38:39.442Z] Checking out Revision 1d15dc347a3363d82a1c88a50815a4d1cc1ce5d4 (master)
11:38:38 [2023-07-04T15:38:38.860Z]  > git config remote.origin.url https://github.com/xtext/xtext-reference-projects.git # timeout=10
11:38:38 [2023-07-04T15:38:38.911Z]  > git config --add remote.origin.fetch +refs/heads/master:refs/remotes/origin/master # timeout=10
11:38:39 [2023-07-04T15:38:39.451Z]  > git config core.sparsecheckout # timeout=10
11:38:39 [2023-07-04T15:38:39.462Z]  > git checkout -f 1d15dc347a3363d82a1c88a50815a4d1cc1ce5d4 # timeout=10
11:38:39 [2023-07-04T15:38:39.928Z] Commit message: "Merge pull request #356 from xtext/cd_tycho4050"
11:38:39 [2023-07-04T15:38:39.934Z]  > git rev-list --no-walk 1d15dc347a3363d82a1c88a50815a4d1cc1ce5d4 # timeout=10