Console Output

16:10:21 [2024-03-05T21:10:21.969Z] The recommended git tool is: git
16:10:22 [2024-03-05T21:10:22.109Z] No credentials specified
16:10:22 [2024-03-05T21:10:22.176Z] Cloning the remote Git repository
16:10:22 [2024-03-05T21:10:22.243Z] Honoring refspec on initial clone
16:10:22 [2024-03-05T21:10:22.279Z] Cloning repository https://github.com/eclipse/omr.git
16:10:22 [2024-03-05T21:10:22.279Z]  > git init /home/jenkins/jenkins-agent/workspace/Build # timeout=10
16:10:25 [2024-03-05T21:10:25.562Z] Using reference repository: /home/jenkins/gitcache
16:10:25 [2024-03-05T21:10:25.562Z] Fetching upstream changes from https://github.com/eclipse/omr.git
16:10:25 [2024-03-05T21:10:25.563Z]  > git --version # timeout=10
16:10:25 [2024-03-05T21:10:25.567Z]  > git --version # 'git version 2.25.1'
16:10:25 [2024-03-05T21:10:25.567Z]  > git fetch --tags --force --progress -- https://github.com/eclipse/omr.git +refs/pull/7253/merge:refs/remotes/origin/pr/7253/merge # timeout=30
16:10:53 [2024-03-05T21:10:53.970Z] Avoid second fetch
16:10:54 [2024-03-05T21:10:54.042Z] Checking out Revision 53913389a5fdfa1a1fd59cf69f4d20a950973482 (refs/remotes/origin/pr/7253/merge)
16:10:54 [2024-03-05T21:10:54.810Z] Commit message: "Merge 7d4f94589444a716bf1699a225db1a366b9bb6f6 into ed9d073b69d94bbece7ab28b3eb8287afa63f5aa"
16:10:53 [2024-03-05T21:10:53.861Z]  > git config remote.origin.url https://github.com/eclipse/omr.git # timeout=10
16:10:53 [2024-03-05T21:10:53.865Z]  > git config --add remote.origin.fetch +refs/pull/7253/merge:refs/remotes/origin/pr/7253/merge # timeout=10
16:10:54 [2024-03-05T21:10:54.004Z]  > git rev-parse refs/remotes/origin/pr/7253/merge^{commit} # timeout=10
16:10:54 [2024-03-05T21:10:54.076Z]  > git config core.sparsecheckout # timeout=10
16:10:54 [2024-03-05T21:10:54.080Z]  > git checkout -f 53913389a5fdfa1a1fd59cf69f4d20a950973482 # timeout=10