Console Output

13:55:11 [2024-03-19T17:55:11.044Z] The recommended git tool is: git
13:55:11 [2024-03-19T17:55:11.658Z] No credentials specified
13:55:11 [2024-03-19T17:55:11.879Z] Cloning the remote Git repository
13:55:12 [2024-03-19T17:55:12.148Z] Honoring refspec on initial clone
13:55:12 [2024-03-19T17:55:12.295Z] Cloning repository https://github.com/eclipse/omr.git
13:55:12 [2024-03-19T17:55:12.296Z]  > git init /home/jenkins/workspace/Build # timeout=10
13:55:12 [2024-03-19T17:55:12.307Z] Using reference repository: /home/jenkins//gitcache
13:55:12 [2024-03-19T17:55:12.307Z] Fetching upstream changes from https://github.com/eclipse/omr.git
13:55:12 [2024-03-19T17:55:12.308Z]  > git --version # timeout=10
13:55:12 [2024-03-19T17:55:12.312Z]  > git --version # 'git version 2.25.1'
13:55:12 [2024-03-19T17:55:12.312Z]  > git fetch --tags --force --progress -- https://github.com/eclipse/omr.git +refs/pull/7283/merge:refs/remotes/origin/pr/7283/merge # timeout=30
13:55:37 [2024-03-19T17:55:37.649Z] Avoid second fetch
13:55:37 [2024-03-19T17:55:37.852Z] Checking out Revision 94513779a06eb92edd9c60b0f0b4a05b38de4c25 (refs/remotes/origin/pr/7283/merge)
13:55:39 [2024-03-19T17:55:39.286Z] Commit message: "Merge 4ae6b18d6bdc42a4884645739251e5e309ef20d5 into 1bf2ef421caa77bd678293575dc6ff3e1e173b09"
13:55:37 [2024-03-19T17:55:37.341Z]  > git config remote.origin.url https://github.com/eclipse/omr.git # timeout=10
13:55:37 [2024-03-19T17:55:37.348Z]  > git config --add remote.origin.fetch +refs/pull/7283/merge:refs/remotes/origin/pr/7283/merge # timeout=10
13:55:37 [2024-03-19T17:55:37.766Z]  > git rev-parse refs/remotes/origin/pr/7283/merge^{commit} # timeout=10
13:55:37 [2024-03-19T17:55:37.970Z]  > git config core.sparsecheckout # timeout=10
13:55:37 [2024-03-19T17:55:37.975Z]  > git checkout -f 94513779a06eb92edd9c60b0f0b4a05b38de4c25 # timeout=10