From ec57f7d0a358076b491bc0f6c10d0f177c9dadc5 Mon Sep 17 00:00:00 2001 From: sfalexrog Date: Fri, 17 May 2019 11:46:13 +0300 Subject: [PATCH] builder: Fix git configuration --- builder/image-ros.sh | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/builder/image-ros.sh b/builder/image-ros.sh index 0bcf8dd7..28a0cc53 100755 --- a/builder/image-ros.sh +++ b/builder/image-ros.sh @@ -138,6 +138,10 @@ fi export ROS_IP='127.0.0.1' # needed for running tests +echo_stamp "Reconfiguring Clever repository for simplier unshallowing" +cd /home/pi/catkin_ws/src/clever +git config remote.origin.fetch "+refs/heads/*:refs/remotes/origin/*" + echo_stamp "Installing CLEVER" \ && cd /home/pi/catkin_ws/src/clever \ && git status \