From b3618ec4232f69e420935204669f14ca7f71d91e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Joan=20Vallv=C3=A9=20Navarro?= <jvallve@iri.upc.edu>
Date: Tue, 11 Oct 2022 11:55:05 +0200
Subject: [PATCH] Update .gitlab-ci.yml file

---
 .gitlab-ci.yml | 9 +++------
 1 file changed, 3 insertions(+), 6 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 11d85fa..df49362 100644
--- a/.gitlab-ci.yml
+++ b/.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
-- 
GitLab