Console Output
13:35:13 [2023-03-08T18:35:13.926Z] The recommended git tool is: git
13:35:14 [2023-03-08T18:35:14.061Z] No credentials specified
13:35:14 [2023-03-08T18:35:14.132Z] Fetching changes from the remote Git repository
13:35:14 [2023-03-08T18:35:14.091Z] > git rev-parse --resolve-git-dir /home/jenkins/jenkins-agent/workspace/CopyrightCheck/.git # timeout=10
13:35:14 [2023-03-08T18:35:14.163Z] > git config remote.origin.url https://github.com/eclipse/omr.git # timeout=10
13:35:14 [2023-03-08T18:35:14.234Z] Fetching upstream changes from https://github.com/eclipse/omr.git
13:35:14 [2023-03-08T18:35:14.234Z] > git --version # timeout=10
13:35:14 [2023-03-08T18:35:14.237Z] > git --version # 'git version 2.25.1'
13:35:14 [2023-03-08T18:35:14.238Z] > git fetch --tags --force --progress -- https://github.com/eclipse/omr.git +refs/pull/6884/*:refs/remotes/origin/pr/6884/* +refs/heads/master:refs/remotes/origin/master # timeout=10
13:35:15 [2023-03-08T18:35:15.044Z] Checking out Revision 90eb3e83d8b99fe9e7f983a1604d4602629b4699 (refs/remotes/origin/pr/6884/merge)
13:35:15 [2023-03-08T18:35:15.630Z] Commit message: "Merge 2a7dac7eb8fdb589902c347b235196dcb6e9916a into 9c27dc211b64bc6bc47f0ed5134154114ada5a4c"
13:35:15 [2023-03-08T18:35:15.003Z] > git rev-parse refs/remotes/origin/pr/6884/merge^{commit} # timeout=10
13:35:15 [2023-03-08T18:35:15.074Z] > git config core.sparsecheckout # timeout=10
13:35:15 [2023-03-08T18:35:15.078Z] > git checkout -f 90eb3e83d8b99fe9e7f983a1604d4602629b4699 # timeout=10