Console Output

10:31:15 [2024-06-27T14:31:15.990Z] The recommended git tool is: git
10:31:16 [2024-06-27T14:31:16.554Z] No credentials specified
10:31:16 [2024-06-27T14:31:16.805Z] Cloning the remote Git repository
10:31:17 [2024-06-27T14:31:17.078Z] Honoring refspec on initial clone
10:31:17 [2024-06-27T14:31:17.230Z] Cloning repository https://github.com/eclipse/omr.git
10:31:17 [2024-06-27T14:31:17.233Z]  > git init /home/jenkins/workspace/Build # timeout=10
10:31:17 [2024-06-27T14:31:17.249Z] Using reference repository: /home/jenkins//gitcache
10:31:17 [2024-06-27T14:31:17.249Z] Fetching upstream changes from https://github.com/eclipse/omr.git
10:31:17 [2024-06-27T14:31:17.249Z]  > git --version # timeout=10
10:31:17 [2024-06-27T14:31:17.253Z]  > git --version # 'git version 2.25.1'
10:31:17 [2024-06-27T14:31:17.253Z]  > 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:36 [2024-06-27T14:31:36.432Z] Avoid second fetch
10:31:36 [2024-06-27T14:31:36.704Z] Checking out Revision a492a416731f3b665bdc8330c0ab7cf52560e0a0 (refs/remotes/origin/pr/7372/merge)
10:31:36 [2024-06-27T14:31:36.040Z]  > git config remote.origin.url https://github.com/eclipse/omr.git # timeout=10
10:31:36 [2024-06-27T14:31:36.047Z]  > git config --add remote.origin.fetch +refs/pull/7372/merge:refs/remotes/origin/pr/7372/merge # timeout=10
10:31:36 [2024-06-27T14:31:36.525Z]  > git rev-parse refs/remotes/origin/pr/7372/merge^{commit} # timeout=10
10:31:36 [2024-06-27T14:31:36.846Z]  > git config core.sparsecheckout # timeout=10
10:31:36 [2024-06-27T14:31:36.855Z]  > git checkout -f a492a416731f3b665bdc8330c0ab7cf52560e0a0 # timeout=10
10:31:38 [2024-06-27T14:31:38.505Z] Commit message: "Merge a3143adbf5483e1631cb4a4825ce7e3597365940 into b5ef5eda4680b6b5cf0c2f954362f9f47353ce04"