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 /root/workspace/all/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=10
> 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
Avoid second fetch
> git rev-parse origin/rc_dev^{commit} # timeout=10
Checking out Revision 49bf15f9a1a1b25f10390b13d4f729dfb4c27392 (origin/rc_dev)
> git config core.sparsecheckout # timeout=10
> git checkout -f 49bf15f9a1a1b25f10390b13d4f729dfb4c27392 # timeout=10
Commit message: "Merge branch 'MakeItLocal' into 'dev'"
> git rev-list --no-walk 49bf15f9a1a1b25f10390b13d4f729dfb4c27392 # timeout=10