Console Output

12:39:10 [2024-06-03T16:39:10.214Z] The recommended git tool is: git
12:39:10 [2024-06-03T16:39:10.431Z] No credentials specified
12:39:10 [2024-06-03T16:39:10.509Z] Cloning the remote Git repository
12:39:10 [2024-06-03T16:39:10.587Z] Honoring refspec on initial clone
12:39:10 [2024-06-03T16:39:10.639Z] Cloning repository https://github.com/eclipse/omr.git
12:39:10 [2024-06-03T16:39:10.639Z]  > git init /home/jenkins/jenkins-agent/workspace/Build # timeout=10
12:39:11 [2024-06-03T16:39:11.397Z] Using reference repository: /home/jenkins/gitcache
12:39:11 [2024-06-03T16:39:11.398Z] Fetching upstream changes from https://github.com/eclipse/omr.git
12:39:11 [2024-06-03T16:39:11.398Z]  > git --version # timeout=10
12:39:11 [2024-06-03T16:39:11.400Z]  > git --version # 'git version 2.25.1'
12:39:11 [2024-06-03T16:39:11.400Z]  > git fetch --tags --force --progress -- https://github.com/eclipse/omr.git +refs/pull/7321/merge:refs/remotes/origin/pr/7321/merge # timeout=30
12:39:39 [2024-06-03T16:39:39.041Z] Avoid second fetch
12:39:39 [2024-06-03T16:39:39.213Z] Checking out Revision 117189f8cf8fef9a5d02a3864cf90896ef9be82a (refs/remotes/origin/pr/7321/merge)
12:39:39 [2024-06-03T16:39:39.860Z] Commit message: "Merge c1c21059408fb619fe5796fe6d01e34143030f19 into fc58b2906e8735792f4e258dc12efe76c960300b"
12:39:38 [2024-06-03T16:39:38.926Z]  > git config remote.origin.url https://github.com/eclipse/omr.git # timeout=10
12:39:38 [2024-06-03T16:39:38.930Z]  > git config --add remote.origin.fetch +refs/pull/7321/merge:refs/remotes/origin/pr/7321/merge # timeout=10
12:39:39 [2024-06-03T16:39:39.092Z]  > git rev-parse refs/remotes/origin/pr/7321/merge^{commit} # timeout=10
12:39:39 [2024-06-03T16:39:39.265Z]  > git config core.sparsecheckout # timeout=10
12:39:39 [2024-06-03T16:39:39.267Z]  > git checkout -f 117189f8cf8fef9a5d02a3864cf90896ef9be82a # timeout=10