Console Output

08:38:56 [2024-06-24T12:38:56.632Z] The recommended git tool is: git
08:38:56 [2024-06-24T12:38:56.768Z] No credentials specified
08:38:56 [2024-06-24T12:38:56.834Z] Cloning the remote Git repository
08:38:56 [2024-06-24T12:38:56.900Z] Honoring refspec on initial clone
08:38:56 [2024-06-24T12:38:56.936Z] Cloning repository https://github.com/eclipse/omr.git
08:38:56 [2024-06-24T12:38:56.936Z]  > git init /home/jenkins/jenkins-agent/workspace/Build # timeout=10
08:38:57 [2024-06-24T12:38:57.167Z] Using reference repository: /home/jenkins/gitcache
08:38:57 [2024-06-24T12:38:57.167Z] Fetching upstream changes from https://github.com/eclipse/omr.git
08:38:57 [2024-06-24T12:38:57.167Z]  > git --version # timeout=10
08:38:57 [2024-06-24T12:38:57.170Z]  > git --version # 'git version 2.25.1'
08:38:57 [2024-06-24T12:38:57.170Z]  > git fetch --tags --force --progress -- https://github.com/eclipse/omr.git +refs/pull/7391/merge:refs/remotes/origin/pr/7391/merge # timeout=30
08:39:24 [2024-06-24T12:39:24.601Z] Avoid second fetch
08:39:24 [2024-06-24T12:39:24.673Z] Checking out Revision 1883ceea5af54a5ef07ee0f03a6cff70c2e0013d (refs/remotes/origin/pr/7391/merge)
08:39:24 [2024-06-24T12:39:24.494Z]  > git config remote.origin.url https://github.com/eclipse/omr.git # timeout=10
08:39:24 [2024-06-24T12:39:24.497Z]  > git config --add remote.origin.fetch +refs/pull/7391/merge:refs/remotes/origin/pr/7391/merge # timeout=10
08:39:24 [2024-06-24T12:39:24.635Z]  > git rev-parse refs/remotes/origin/pr/7391/merge^{commit} # timeout=10
08:39:24 [2024-06-24T12:39:24.711Z]  > git config core.sparsecheckout # timeout=10
08:39:25 [2024-06-24T12:39:25.522Z] Commit message: "Merge 5242df175673dffedb99b87f676206d5b647d6ab into d8253e673a469731cce33f7b8689942a0c11e824"
08:39:24 [2024-06-24T12:39:24.714Z]  > git checkout -f 1883ceea5af54a5ef07ee0f03a6cff70c2e0013d # timeout=10