ci: fetch origin before merging in stable mode

gisaia · Oct 30, 2024 · c1b0b7e · c1b0b7e
1 parent fe5ba3e
commit c1b0b7e
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/release-actions.sh b/release-actions.sh
@@ -83,6 +83,7 @@ releaseProd(){
     if [ "$BRANCH" == "develop" ] && [ "$STAGE_LOCAL" == "stable" ];
         then
         echo "=> Merge develop into master"
+        git fetch
         git checkout master
         git pull origin master
         git merge origin/develop