Console Output

using credential github
Fetching changes from the remote Git repository
Cleaning workspace
Fetching without tags
Merging remotes/origin/master commit 3150a71ef4d5ffeacc84c25ef60b141a7f89368e into PR head commit ab0e7c9a8a54cfe491129dde68dcb3b48c55b27b
Merge succeeded, producing b3c82e937dec789e465254610fbc4849aba084f3
Checking out Revision b3c82e937dec789e465254610fbc4849aba084f3 (PR-3406)
 > git rev-parse --is-inside-work-tree # timeout=10
 > git config remote.origin.url https://github.com/modelica/ModelicaStandardLibrary.git # timeout=10
 > git rev-parse --verify HEAD # timeout=10
Resetting working tree
 > git reset --hard # timeout=10
 > git clean -fdx # timeout=10
Fetching upstream changes from https://github.com/modelica/ModelicaStandardLibrary.git
 > git --version # timeout=10
using GIT_ASKPASS to set credentials GitHub Access Token
 > git fetch --no-tags --progress -- https://github.com/modelica/ModelicaStandardLibrary.git +refs/pull/3406/head:refs/remotes/origin/PR-3406 +refs/heads/master:refs/remotes/origin/master # timeout=10
 > git config core.sparsecheckout # timeout=10
 > git checkout -f ab0e7c9a8a54cfe491129dde68dcb3b48c55b27b # timeout=10
 > git merge 3150a71ef4d5ffeacc84c25ef60b141a7f89368e # timeout=10
 > git rev-parse HEAD^{commit} # timeout=10
 > git config core.sparsecheckout # timeout=10
 > git checkout -f b3c82e937dec789e465254610fbc4849aba084f3 # timeout=10
Commit message: "Merge commit '3150a71ef4d5ffeacc84c25ef60b141a7f89368e' into HEAD"
 > git branch -a -v --no-abbrev # timeout=10
 > git branch -D PR-3406 # timeout=10
 > git checkout -b PR-3406 b3c82e937dec789e465254610fbc4849aba084f3 # timeout=10
 > git rev-list --no-walk 409771a55f1d583dca4ced152beddb4370e0e8d6 # timeout=10
Cleaning workspace
 > git rev-parse --verify HEAD # timeout=10
Resetting working tree
 > git reset --hard # timeout=10
 > git clean -fdx # timeout=10