Console Output

08:39:14 [2024-06-24T12:39:14.953Z] The recommended git tool is: git
08:40:06 [2024-06-24T12:40:06.561Z] No credentials specified
08:40:06 [2024-06-24T12:40:06.934Z] Cloning the remote Git repository
08:40:07 [2024-06-24T12:40:07.119Z] Honoring refspec on initial clone
08:40:07 [2024-06-24T12:40:07.625Z] Cloning repository https://github.com/eclipse/omr.git
08:40:07 [2024-06-24T12:40:07.914Z]  > git init /home/jenkins/workspace/Build # timeout=10
08:40:08 [2024-06-24T12:40:08.690Z] Using reference repository: /home/jenkins//gitcache
08:40:08 [2024-06-24T12:40:08.692Z] Fetching upstream changes from https://github.com/eclipse/omr.git
08:40:08 [2024-06-24T12:40:08.692Z]  > git --version # timeout=10
08:40:08 [2024-06-24T12:40:08.698Z]  > git --version # 'git version 2.25.1'
08:40:08 [2024-06-24T12:40:08.699Z]  > git fetch --tags --force --progress -- https://github.com/eclipse/omr.git +refs/pull/7391/merge:refs/remotes/origin/pr/7391/merge # timeout=30
08:40:22 [2024-06-24T12:40:22.373Z]  > git config remote.origin.url https://github.com/eclipse/omr.git # timeout=10
08:40:22 [2024-06-24T12:40:22.380Z]  > git config --add remote.origin.fetch +refs/pull/7391/merge:refs/remotes/origin/pr/7391/merge # timeout=10
08:40:44 [2024-06-24T12:40:44.090Z] Avoid second fetch
08:40:44 [2024-06-24T12:40:44.310Z] Checking out Revision 1883ceea5af54a5ef07ee0f03a6cff70c2e0013d (refs/remotes/origin/pr/7391/merge)
08:40:44 [2024-06-24T12:40:44.206Z]  > git rev-parse refs/remotes/origin/pr/7391/merge^{commit} # timeout=10
08:40:44 [2024-06-24T12:40:44.685Z]  > git config core.sparsecheckout # timeout=10
08:40:44 [2024-06-24T12:40:44.695Z]  > git checkout -f 1883ceea5af54a5ef07ee0f03a6cff70c2e0013d # timeout=10
08:40:55 [2024-06-24T12:40:55.115Z] Commit message: "Merge 5242df175673dffedb99b87f676206d5b647d6ab into d8253e673a469731cce33f7b8689942a0c11e824"