dev #39

Merged
manuel merged 9 commits from dev into master 2025-09-02 00:57:11 +02:00
Showing only changes of commit c173cc3b3b - Show all commits

View File

@@ -23,12 +23,21 @@ jobs:
- name: Merge changes from dev
run: |
# Obtener la última versión de todas las ramas
git fetch origin
git checkout $GITHUB_REF # la rama feature/*
# Cambiar a la rama feature actual (sustituye $env:GITHUB_REF por la variable que uses con el nombre de rama)
$branch = $env:GITHUB_REF -replace 'refs/heads/', ''
git checkout $branch
# Intentar hacer merge de dev a la rama feature actual
git merge origin/dev
if [ $? -eq 0 ]; then
git push origin $GITHUB_REF
else
echo "Merge conflict detected, please resolve."
if ($LASTEXITCODE -eq 0) {
# Si el merge fue exitoso (sin conflictos), hacer push
git push origin $branch
} else {
# Si hubo conflictos, mostrar mensaje y salir con error para detener el pipeline
Write-Host "Conflictos detectados en el merge de dev a $branch, por favor resolver manualmente."
exit 1
fi
}