Console Output

10:31:15 [2024-06-27T14:31:15.305Z] The recommended git tool is: git
10:31:15 [2024-06-27T14:31:15.673Z] No credentials specified
10:31:16 [2024-06-27T14:31:16.305Z] Cloning the remote Git repository
10:31:16 [2024-06-27T14:31:16.505Z] Honoring refspec on initial clone
10:31:16 [2024-06-27T14:31:16.646Z] Cloning repository https://github.com/eclipse/omr.git
10:31:16 [2024-06-27T14:31:16.656Z]  > git init /home/jenkins/workspace/Build # timeout=10
10:31:16 [2024-06-27T14:31:16.669Z] Using reference repository: /home/jenkins//gitcache
10:31:16 [2024-06-27T14:31:16.670Z] Fetching upstream changes from https://github.com/eclipse/omr.git
10:31:16 [2024-06-27T14:31:16.670Z]  > git --version # timeout=10
10:31:16 [2024-06-27T14:31:16.677Z]  > git --version # 'git version 2.25.1'
10:31:16 [2024-06-27T14:31:16.677Z]  > git fetch --tags --force --progress -- https://github.com/eclipse/omr.git +refs/pull/7372/merge:refs/remotes/origin/pr/7372/merge # timeout=30
10:31:29 [2024-06-27T14:31:29.137Z] Avoid second fetch
10:31:29 [2024-06-27T14:31:29.351Z] Checking out Revision a492a416731f3b665bdc8330c0ab7cf52560e0a0 (refs/remotes/origin/pr/7372/merge)
10:31:28 [2024-06-27T14:31:28.684Z]  > git config remote.origin.url https://github.com/eclipse/omr.git # timeout=10
10:31:28 [2024-06-27T14:31:28.690Z]  > git config --add remote.origin.fetch +refs/pull/7372/merge:refs/remotes/origin/pr/7372/merge # timeout=10
10:31:29 [2024-06-27T14:31:29.264Z]  > git rev-parse refs/remotes/origin/pr/7372/merge^{commit} # timeout=10
10:31:29 [2024-06-27T14:31:29.452Z]  > git config core.sparsecheckout # timeout=10
10:31:29 [2024-06-27T14:31:29.456Z]  > git checkout -f a492a416731f3b665bdc8330c0ab7cf52560e0a0 # timeout=10
10:31:30 [2024-06-27T14:31:30.778Z] Commit message: "Merge a3143adbf5483e1631cb4a4825ce7e3597365940 into b5ef5eda4680b6b5cf0c2f954362f9f47353ce04"