Console Output

17:08:38 [2024-06-17T21:08:38.155Z] The recommended git tool is: git
17:08:38 [2024-06-17T21:08:38.654Z] No credentials specified
17:08:38 [2024-06-17T21:08:38.998Z] Cloning the remote Git repository
17:08:39 [2024-06-17T21:08:39.457Z] Honoring refspec on initial clone
17:08:39 [2024-06-17T21:08:39.585Z] Cloning repository https://github.com/eclipse/omr.git
17:08:39 [2024-06-17T21:08:39.586Z]  > git init /home/jenkins/workspace/Build # timeout=10
17:08:39 [2024-06-17T21:08:39.601Z] Using reference repository: /home/jenkins//gitcache
17:08:39 [2024-06-17T21:08:39.601Z] Fetching upstream changes from https://github.com/eclipse/omr.git
17:08:39 [2024-06-17T21:08:39.601Z]  > git --version # timeout=10
17:08:39 [2024-06-17T21:08:39.605Z]  > git --version # 'git version 2.25.1'
17:08:39 [2024-06-17T21:08:39.606Z]  > git fetch --tags --force --progress -- https://github.com/eclipse/omr.git +refs/pull/7381/merge:refs/remotes/origin/pr/7381/merge # timeout=30
17:08:51 [2024-06-17T21:08:51.554Z] Avoid second fetch
17:08:51 [2024-06-17T21:08:51.821Z] Checking out Revision 2f981bb0561ae37f523ed318fd0b9de74f5497b1 (refs/remotes/origin/pr/7381/merge)
17:08:51 [2024-06-17T21:08:51.221Z]  > git config remote.origin.url https://github.com/eclipse/omr.git # timeout=10
17:08:51 [2024-06-17T21:08:51.227Z]  > git config --add remote.origin.fetch +refs/pull/7381/merge:refs/remotes/origin/pr/7381/merge # timeout=10
17:08:51 [2024-06-17T21:08:51.673Z]  > git rev-parse refs/remotes/origin/pr/7381/merge^{commit} # timeout=10
17:08:51 [2024-06-17T21:08:51.952Z]  > git config core.sparsecheckout # timeout=10
17:08:51 [2024-06-17T21:08:51.966Z]  > git checkout -f 2f981bb0561ae37f523ed318fd0b9de74f5497b1 # timeout=10
17:08:53 [2024-06-17T21:08:53.299Z] Commit message: "Merge de2d500de7c4111f28610540a6483151d01e4abc into 59032a80cd43fedb6e53fa396c69c2670d1e7c3a"