The recommended git tool is: git
Fetching changes from the remote Git repository
Checking out Revision b2e170923249df969fc5b3c0057edce4c1138e7d (refs/remotes/origin/master)
Commit message: "Making run_bindiff_w_flags.py faster by calling run_scm.py directly and parallelizing over all cases/flag sets, rather than just calling run_scm_all.py and parallelizing over each flag batch. Also fixing a little stats bug that caused the time string to have weird trailing characters, and removing a little states print"
> git rev-parse --resolve-git-dir /home/jenkins/workspace/clubb_cmake_test/.git # timeout=10
> git config remote.origin.url https://github.com/larson-group/clubb.git # timeout=10
Fetching upstream changes from https://github.com/larson-group/clubb.git
> git --version # timeout=10
> git --version # 'git version 2.34.1'
> git fetch --tags --force --progress -- https://github.com/larson-group/clubb.git +refs/heads/*:refs/remotes/origin/* # timeout=10
> git rev-parse refs/remotes/origin/master^{commit} # timeout=10
> git config core.sparsecheckout # timeout=10
> git checkout -f b2e170923249df969fc5b3c0057edce4c1138e7d # timeout=10
> git rev-list --no-walk bcbcd985bf11702799629543e90e6e07a95ddbe5 # timeout=10
