diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 05026060218f95900ef4517df78e099099b80c89..4f7e18e6f91cba679ba8ccafbabb83ffdfa7831c 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -90,10 +90,8 @@ stages: - if [ -d wolf ]; then - echo "directory wolf exists" - cd wolf - - git checkout devel - - git pull + - git fetch --all - git checkout $WOLF_CORE_BRANCH - - git pull - else - git clone -b $WOLF_CORE_BRANCH ssh://git@gitlab.iri.upc.edu:2202/mobile_robotics/wolf_projects/wolf_lib/wolf.git - cd wolf