Console Output

Selected Git installation does not exist. Using Default
The recommended git tool is: NONE
using credential Jenkins ORNL
Fetching changes from the remote Git repository
Fetching without tags
 > git rev-parse --resolve-git-dir /var/jenkins/workspace/Kokkos_PR-6886/.git # timeout=10
 > git config remote.origin.url https://github.com/kokkos/kokkos.git # timeout=10
Fetching upstream changes from https://github.com/kokkos/kokkos.git
 > git --version # timeout=10
 > git --version # 'git version 2.17.1'
using GIT_ASKPASS to set credentials 
 > git fetch --no-tags --progress -- https://github.com/kokkos/kokkos.git +refs/pull/6886/head:refs/remotes/origin/PR-6886 +refs/heads/release-candidate-4.3.00:refs/remotes/origin/release-candidate-4.3.00 # timeout=10
Merging remotes/origin/release-candidate-4.3.00 commit 7ddc2d39c52541ac03c6a7347b6923b5b99ccc8e into PR head commit 6a16ef11d60787bf9727f0cf97530d640ce755e5
Merge succeeded, producing 36c23e449a75f20e340df8d1f28287d967045aed
Checking out Revision 36c23e449a75f20e340df8d1f28287d967045aed (PR-6886)
Commit message: "Merge commit '7ddc2d39c52541ac03c6a7347b6923b5b99ccc8e' into HEAD"
 > git config core.sparsecheckout # timeout=10
 > git checkout -f 6a16ef11d60787bf9727f0cf97530d640ce755e5 # timeout=10
 > git remote # timeout=10
 > git config --get remote.origin.url # timeout=10
using GIT_ASKPASS to set credentials 
 > git merge 7ddc2d39c52541ac03c6a7347b6923b5b99ccc8e # timeout=10
 > git rev-parse HEAD^{commit} # timeout=10
 > git config core.sparsecheckout # timeout=10
 > git checkout -f 36c23e449a75f20e340df8d1f28287d967045aed # timeout=10
 > git rev-list --no-walk 8aef6af02bf6a790472a846efa40f26e60727543 # timeout=10