Skip to content

Console Output

02:33:35 [2023-03-06T07:33:35.841Z] The recommended git tool is: git
02:33:35 [2023-03-06T07:33:35.976Z] No credentials specified
02:33:36 [2023-03-06T07:33:36.047Z] Fetching changes from the remote Git repository
02:33:36 [2023-03-06T07:33:36.009Z]  > git rev-parse --resolve-git-dir /home/jenkins/jenkins-agent/workspace/CopyrightCheck/.git # timeout=10
02:33:36 [2023-03-06T07:33:36.905Z] Checking out Revision 07d2a3bbb08319a1fa922829ae09b1f5fea91408 (refs/remotes/origin/pr/6916/merge)
02:33:36 [2023-03-06T07:33:36.079Z]  > git config remote.origin.url https://github.com/eclipse/omr.git # timeout=10
02:33:36 [2023-03-06T07:33:36.150Z] Fetching upstream changes from https://github.com/eclipse/omr.git
02:33:36 [2023-03-06T07:33:36.150Z]  > git --version # timeout=10
02:33:36 [2023-03-06T07:33:36.152Z]  > git --version # 'git version 2.25.1'
02:33:36 [2023-03-06T07:33:36.152Z]  > git fetch --tags --force --progress -- https://github.com/eclipse/omr.git +refs/pull/6916/*:refs/remotes/origin/pr/6916/* +refs/heads/master:refs/remotes/origin/master # timeout=10
02:33:36 [2023-03-06T07:33:36.866Z]  > git rev-parse refs/remotes/origin/pr/6916/merge^{commit} # timeout=10
02:33:37 [2023-03-06T07:33:37.169Z] Commit message: "Merge 0774ac49588705cac011bf67446289933424751f into d5af8d16e93cc591fffb779b4cfa328ec7e0327f"
02:33:36 [2023-03-06T07:33:36.938Z]  > git config core.sparsecheckout # timeout=10
02:33:36 [2023-03-06T07:33:36.941Z]  > git checkout -f 07d2a3bbb08319a1fa922829ae09b1f5fea91408 # timeout=10