Console Output

The recommended git tool is: NONE
using credential gitlab_ota
Cloning the remote Git repository
Cloning repository http://159.27.226.4/lidar_localization_mapping/mrpt2.git
 > git init /senior/workspace/orin-slave32/master/src/mrpt2 # timeout=10
Fetching upstream changes from http://159.27.226.4/lidar_localization_mapping/mrpt2.git
 > git --version # timeout=10
 > git --version # 'git version 2.25.1'
using GIT_ASKPASS to set credentials gitlab_ota
 > git fetch --tags --force --progress -- http://159.27.226.4/lidar_localization_mapping/mrpt2.git +refs/heads/*:refs/remotes/origin/* # timeout=30
Avoid second fetch
Checking out Revision 6de419bfe444eed8f2e1da930fb4a0e768499623 (origin/rc_dev)
 > git config remote.origin.url http://159.27.226.4/lidar_localization_mapping/mrpt2.git # timeout=10
 > git config --add remote.origin.fetch +refs/heads/*:refs/remotes/origin/* # timeout=10
 > git rev-parse origin/rc_dev^{commit} # timeout=10
 > git config core.sparsecheckout # timeout=10
 > git checkout -f 6de419bfe444eed8f2e1da930fb4a0e768499623 # timeout=30
Commit message: "Merge branch 'dev' into 'rc_dev'"
 > git rev-list --no-walk 6de419bfe444eed8f2e1da930fb4a0e768499623 # timeout=10