Console Output

08:39:10 [2024-06-24T12:39:10.903Z] The recommended git tool is: git
08:40:03 [2024-06-24T12:40:03.848Z] No credentials specified
08:40:04 [2024-06-24T12:40:04.057Z] Cloning the remote Git repository
08:40:04 [2024-06-24T12:40:04.252Z] Honoring refspec on initial clone
08:40:04 [2024-06-24T12:40:04.769Z] Cloning repository https://github.com/eclipse/omr.git
08:40:05 [2024-06-24T12:40:05.056Z]  > git init /home/jenkins/workspace/Build # timeout=10
08:40:05 [2024-06-24T12:40:05.788Z] Using reference repository: /home/jenkins//gitcache
08:40:05 [2024-06-24T12:40:05.790Z] Fetching upstream changes from https://github.com/eclipse/omr.git
08:40:05 [2024-06-24T12:40:05.791Z]  > git --version # timeout=10
08:40:05 [2024-06-24T12:40:05.799Z]  > git --version # 'git version 2.25.1'
08:40:05 [2024-06-24T12:40:05.800Z]  > 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:19 [2024-06-24T12:40:19.581Z]  > git config remote.origin.url https://github.com/eclipse/omr.git # timeout=10
08:40:19 [2024-06-24T12:40:19.601Z]  > git config --add remote.origin.fetch +refs/pull/7391/merge:refs/remotes/origin/pr/7391/merge # timeout=10
08:40:41 [2024-06-24T12:40:41.084Z] Avoid second fetch
08:40:41 [2024-06-24T12:40:41.296Z] Checking out Revision 1883ceea5af54a5ef07ee0f03a6cff70c2e0013d (refs/remotes/origin/pr/7391/merge)
08:40:41 [2024-06-24T12:40:41.201Z]  > git rev-parse refs/remotes/origin/pr/7391/merge^{commit} # timeout=10
08:40:41 [2024-06-24T12:40:41.673Z]  > git config core.sparsecheckout # timeout=10
08:40:41 [2024-06-24T12:40:41.681Z]  > git checkout -f 1883ceea5af54a5ef07ee0f03a6cff70c2e0013d # timeout=10
08:40:52 [2024-06-24T12:40:52.607Z] Commit message: "Merge 5242df175673dffedb99b87f676206d5b647d6ab into d8253e673a469731cce33f7b8689942a0c11e824"