Console Output

17:05:06 [2023-03-07T22:05:06.518Z] The recommended git tool is: git
17:05:06 [2023-03-07T22:05:06.655Z] No credentials specified
17:05:06 [2023-03-07T22:05:06.726Z] Fetching changes from the remote Git repository
17:05:06 [2023-03-07T22:05:06.688Z]  > git rev-parse --resolve-git-dir /home/jenkins/jenkins-agent/workspace/CopyrightCheck/.git # timeout=10
17:05:06 [2023-03-07T22:05:06.758Z]  > git config remote.origin.url https://github.com/eclipse/omr.git # timeout=10
17:05:06 [2023-03-07T22:05:06.829Z] Fetching upstream changes from https://github.com/eclipse/omr.git
17:05:06 [2023-03-07T22:05:06.829Z]  > git --version # timeout=10
17:05:06 [2023-03-07T22:05:06.832Z]  > git --version # 'git version 2.25.1'
17:05:06 [2023-03-07T22:05:06.833Z]  > git fetch --tags --force --progress -- https://github.com/eclipse/omr.git +refs/pull/6920/*:refs/remotes/origin/pr/6920/* +refs/heads/master:refs/remotes/origin/master # timeout=10
17:05:08 [2023-03-07T22:05:08.104Z] Checking out Revision 92f90216cd8a11927b662cc160de49c9361e2b44 (refs/remotes/origin/pr/6920/merge)
17:05:08 [2023-03-07T22:05:08.650Z] Commit message: "Merge 0330a6f49500680b387f35ca53acca2d8130eb47 into 95a52fcde2e5812b7376614027a366d3ec9d6d81"
17:05:08 [2023-03-07T22:05:08.065Z]  > git rev-parse refs/remotes/origin/pr/6920/merge^{commit} # timeout=10
17:05:08 [2023-03-07T22:05:08.137Z]  > git config core.sparsecheckout # timeout=10
17:05:08 [2023-03-07T22:05:08.140Z]  > git checkout -f 92f90216cd8a11927b662cc160de49c9361e2b44 # timeout=10