Console Output

13:52:41 [2024-02-01T18:52:41.491Z] The recommended git tool is: git
13:52:42 [2024-02-01T18:52:42.144Z] No credentials specified
13:52:42 [2024-02-01T18:52:42.466Z] Cloning the remote Git repository
13:52:42 [2024-02-01T18:52:42.842Z] Honoring refspec on initial clone
13:52:42 [2024-02-01T18:52:42.989Z] Cloning repository https://github.com/eclipse/omr.git
13:52:42 [2024-02-01T18:52:42.992Z]  > git init /home/jenkins/workspace/Build # timeout=10
13:52:43 [2024-02-01T18:52:43.032Z] Using reference repository: /home/jenkins//gitcache
13:52:43 [2024-02-01T18:52:43.032Z] Fetching upstream changes from https://github.com/eclipse/omr.git
13:52:43 [2024-02-01T18:52:43.033Z]  > git --version # timeout=10
13:52:43 [2024-02-01T18:52:43.039Z]  > git --version # 'git version 2.25.1'
13:52:43 [2024-02-01T18:52:43.040Z]  > git fetch --tags --force --progress -- https://github.com/eclipse/omr.git +refs/heads/*:refs/remotes/origin/* # timeout=30
13:53:12 [2024-02-01T18:53:12.978Z] Avoid second fetch
13:53:13 [2024-02-01T18:53:13.275Z] Checking out Revision ad592c0808c6be7f0e7f64c7c9236e01832bed30 (refs/remotes/origin/master)
13:53:12 [2024-02-01T18:53:12.683Z]  > git config remote.origin.url https://github.com/eclipse/omr.git # timeout=10
13:53:12 [2024-02-01T18:53:12.691Z]  > git config --add remote.origin.fetch +refs/heads/*:refs/remotes/origin/* # timeout=10
13:53:13 [2024-02-01T18:53:13.090Z]  > git rev-parse refs/remotes/origin/master^{commit} # timeout=10
13:53:13 [2024-02-01T18:53:13.411Z]  > git config core.sparsecheckout # timeout=10
13:53:13 [2024-02-01T18:53:13.417Z]  > git checkout -f ad592c0808c6be7f0e7f64c7c9236e01832bed30 # timeout=10
13:53:14 [2024-02-01T18:53:14.901Z] Commit message: "Merge pull request #7200 from gita-omr/osr_doc"
13:53:15 [2024-02-01T18:53:15.010Z]  > git rev-list --no-walk e426d153657b0dc9fb42250bc645d48312d485dd # timeout=10