Console Output

09:51:49 [2024-06-17T13:51:49.854Z] The recommended git tool is: git
09:51:50 [2024-06-17T13:51:50.018Z] No credentials specified
09:51:50 [2024-06-17T13:51:50.097Z] Cloning the remote Git repository
09:51:50 [2024-06-17T13:51:50.176Z] Honoring refspec on initial clone
09:51:50 [2024-06-17T13:51:50.222Z] Cloning repository https://github.com/eclipse/omr.git
09:51:50 [2024-06-17T13:51:50.223Z]  > git init /home/jenkins/jenkins-agent/workspace/Build # timeout=10
09:51:50 [2024-06-17T13:51:50.364Z] Using reference repository: /home/jenkins/gitcache
09:51:50 [2024-06-17T13:51:50.364Z] Fetching upstream changes from https://github.com/eclipse/omr.git
09:51:50 [2024-06-17T13:51:50.365Z]  > git --version # timeout=10
09:51:50 [2024-06-17T13:51:50.367Z]  > git --version # 'git version 2.25.1'
09:51:50 [2024-06-17T13:51:50.368Z]  > git fetch --tags --force --progress -- https://github.com/eclipse/omr.git +refs/heads/*:refs/remotes/origin/* # timeout=30
09:52:04 [2024-06-17T13:52:04.096Z] Avoid second fetch
09:52:03 [2024-06-17T13:52:03.975Z]  > git config remote.origin.url https://github.com/eclipse/omr.git # timeout=10
09:52:03 [2024-06-17T13:52:03.977Z]  > git config --add remote.origin.fetch +refs/heads/*:refs/remotes/origin/* # timeout=10
09:52:04 [2024-06-17T13:52:04.179Z] Checking out Revision 59032a80cd43fedb6e53fa396c69c2670d1e7c3a (refs/remotes/origin/master)
09:52:04 [2024-06-17T13:52:04.802Z] Commit message: "Merge pull request #7378 from jdmpapin/delete-SelectOpt"
09:52:04 [2024-06-17T13:52:04.141Z]  > git rev-parse refs/remotes/origin/master^{commit} # timeout=10
09:52:04 [2024-06-17T13:52:04.224Z]  > git config core.sparsecheckout # timeout=10
09:52:04 [2024-06-17T13:52:04.227Z]  > git checkout -f 59032a80cd43fedb6e53fa396c69c2670d1e7c3a # timeout=10
09:52:04 [2024-06-17T13:52:04.848Z]  > git rev-list --no-walk 4c74f944ffadc41a1a7e5261af7b3a6dec5fe67b # timeout=10