Console Output

09:42:35 [2024-06-30T13:42:35.777Z] The recommended git tool is: git
09:42:35 [2024-06-30T13:42:35.997Z] No credentials specified
09:42:36 [2024-06-30T13:42:36.077Z] Cloning the remote Git repository
09:42:36 [2024-06-30T13:42:36.157Z] Honoring refspec on initial clone
09:42:36 [2024-06-30T13:42:36.203Z] Cloning repository https://github.com/eclipse/omr.git
09:42:36 [2024-06-30T13:42:36.203Z]  > git init /home/jenkins/jenkins-agent/workspace/Build # timeout=10
09:42:36 [2024-06-30T13:42:36.346Z] Using reference repository: /home/jenkins/gitcache
09:42:36 [2024-06-30T13:42:36.346Z] Fetching upstream changes from https://github.com/eclipse/omr.git
09:42:36 [2024-06-30T13:42:36.346Z]  > git --version # timeout=10
09:42:36 [2024-06-30T13:42:36.348Z]  > git --version # 'git version 2.25.1'
09:42:36 [2024-06-30T13:42:36.349Z]  > git fetch --tags --force --progress -- https://github.com/eclipse/omr.git +refs/heads/*:refs/remotes/origin/* # timeout=30
09:42:49 [2024-06-30T13:42:49.517Z] Avoid second fetch
09:42:49 [2024-06-30T13:42:49.601Z] Checking out Revision 3ad5a570df116a06db0fe1ec9e1de5c8e1edbce7 (refs/remotes/origin/master)
09:42:49 [2024-06-30T13:42:49.394Z]  > git config remote.origin.url https://github.com/eclipse/omr.git # timeout=10
09:42:49 [2024-06-30T13:42:49.397Z]  > git config --add remote.origin.fetch +refs/heads/*:refs/remotes/origin/* # timeout=10
09:42:49 [2024-06-30T13:42:49.562Z]  > git rev-parse refs/remotes/origin/master^{commit} # timeout=10
09:42:49 [2024-06-30T13:42:49.646Z]  > git config core.sparsecheckout # timeout=10
09:42:49 [2024-06-30T13:42:49.650Z]  > git checkout -f 3ad5a570df116a06db0fe1ec9e1de5c8e1edbce7 # timeout=10
09:42:50 [2024-06-30T13:42:50.319Z] Commit message: "Merge pull request #7397 from eclipse/revert-7364-replaceRedundantIshl"
09:42:50 [2024-06-30T13:42:50.365Z]  > git rev-list --no-walk 3ad5a570df116a06db0fe1ec9e1de5c8e1edbce7 # timeout=10