ci(release.yaml): make 'merge into develop' task optional

This commit is contained in:
2025-08-20 19:44:47 +02:00
parent 6089676a13
commit e70cf13b27

View File

@@ -116,9 +116,13 @@ jobs:
- name: 📤 merge into develop - name: 📤 merge into develop
run: | run: |
git checkout develop if git show-ref --quiet refs/heads/develop; then
git merge main git checkout develop
git push origin develop git merge main
git push origin develop
else
echo "develop doesn't exist, skipping..."
fi
- name: ✅ done - name: ✅ done
run: echo "done" run: echo "done"