dev #39

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

View File

@@ -24,18 +24,14 @@ jobs:
- name: Merge changes from dev - name: Merge changes from dev
run: | run: |
# Obtener la última versión de todas las ramas # Obtener la última versión de todas las ramas
git fetch origin git pull origin dev
# 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 # Intentar hacer merge de dev a la rama feature actual
git merge origin/dev git merge dev
if ($LASTEXITCODE -eq 0) { if ($LASTEXITCODE -eq 0) {
# Si el merge fue exitoso (sin conflictos), hacer push # Si el merge fue exitoso (sin conflictos), hacer push
git push origin $branch git push
} else { } else {
# Si hubo conflictos, mostrar mensaje y salir con error para detener el pipeline # 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." Write-Host "Conflictos detectados en el merge de dev a $branch, por favor resolver manualmente."