Console Output

09:12:53 [2024-05-29T13:12:53.122Z] The recommended git tool is: git
09:12:53 [2024-05-29T13:12:53.337Z] No credentials specified
09:12:53 [2024-05-29T13:12:53.415Z] Cloning the remote Git repository
09:12:53 [2024-05-29T13:12:53.493Z] Honoring refspec on initial clone
09:12:53 [2024-05-29T13:12:53.546Z] Cloning repository https://github.com/eclipse/omr.git
09:12:53 [2024-05-29T13:12:53.546Z]  > git init /home/jenkins/jenkins-agent/workspace/Build # timeout=10
09:12:53 [2024-05-29T13:12:53.703Z] Using reference repository: /home/jenkins/gitcache
09:12:53 [2024-05-29T13:12:53.704Z] Fetching upstream changes from https://github.com/eclipse/omr.git
09:12:53 [2024-05-29T13:12:53.704Z]  > git --version # timeout=10
09:12:53 [2024-05-29T13:12:53.707Z]  > git --version # 'git version 2.25.1'
09:12:53 [2024-05-29T13:12:53.707Z]  > git fetch --tags --force --progress -- https://github.com/eclipse/omr.git +refs/pull/7341/merge:refs/remotes/origin/pr/7341/merge # timeout=30
09:13:08 [2024-05-29T13:13:08.394Z] Avoid second fetch
09:13:08 [2024-05-29T13:13:08.477Z] Checking out Revision 862f9984eb39b57ca835519b67448f7947d91d4f (refs/remotes/origin/pr/7341/merge)
09:13:08 [2024-05-29T13:13:08.276Z]  > git config remote.origin.url https://github.com/eclipse/omr.git # timeout=10
09:13:08 [2024-05-29T13:13:08.280Z]  > git config --add remote.origin.fetch +refs/pull/7341/merge:refs/remotes/origin/pr/7341/merge # timeout=10
09:13:08 [2024-05-29T13:13:08.445Z]  > git rev-parse refs/remotes/origin/pr/7341/merge^{commit} # timeout=10
09:13:08 [2024-05-29T13:13:08.528Z]  > git config core.sparsecheckout # timeout=10
09:13:08 [2024-05-29T13:13:08.532Z]  > git checkout -f 862f9984eb39b57ca835519b67448f7947d91d4f # timeout=10
09:13:09 [2024-05-29T13:13:09.435Z] Commit message: "Merge 2c586f69eaa7f49adbff4724a361e8c23fd28a97 into 5c74758cf6b1869a75d118e58380a4cbfd9b79d5"