Merge branch 'devel' of...

Merge branch 'devel' of ssh://gitlab.iri.upc.edu:2202/mobile_robotics/wolf_projects/wolf_ros/wolf_ros_gnss into devel

.gitlab-ci.yml

@@ -80,8 +80,7 @@ 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
@@ -99,8 +98,7 @@ stages:
   - if [ -d gnss_utils ]; then
   -   echo "directory gnss_utils exists"
   -   cd gnss_utils
-  -   git checkout devel
-  -   git pull
+  -   git fetch --all
   -   git checkout $GNSSUTILS_BRANCH
   -   git pull
   - else
@@ -119,8 +117,7 @@ stages:
   - if [ -d gnss ]; then
   -   echo "directory gnss exists"
   -   cd gnss
-  -   git checkout devel
-  -   git pull
+  -   git fetch --all
   -   git checkout $WOLF_GNSS_BRANCH
   -   git pull
   - else