Merge pull request 'Prepare for next release' (#9) from main into release
All checks were successful
Release / Release (push) Successful in 55s

Reviewed-on: #9
This commit is contained in:
Jan K9f 2025-04-09 16:51:59 +00:00
commit 667ccdd9a1
Signed by:
GPG key ID: 944223E4D46B7412

View file

@ -52,23 +52,25 @@ jobs:
run: |
git add docs/
git commit -m "chore(release): [skip ci]"
continue-on-error: true
- name: Push changes to release branch
if: ${{ steps.semantic.outputs.new_release_published }}
run: |
git remote set-url origin git@${{ env.GITEA_DOMAIN }}:${{ github.repository }}.git
git push origin HEAD:${{ env.RELEASE_BRANCH }}
continue-on-error: true
- name: Checkout target branch
if: ${{ steps.semantic.outputs.new_release_published && !(env.SKIP_MERGE == true) }}
if: ${{ !(env.SKIP_MERGE == true) }}
run: git reset --hard && git checkout ${{ env.TARGET_BRANCH }} && git pull
- name: Merge release
if: ${{ steps.semantic.outputs.new_release_published && !(env.SKIP_MERGE == true) }}
if: ${{ !(env.SKIP_MERGE == true) }}
run: git merge ${{ env.RELEASE_BRANCH }}
- name: Push changes to target branch
if: ${{ steps.semantic.outputs.new_release_published && !(env.SKIP_MERGE == true) }}
if: ${{ !(env.SKIP_MERGE == true) }}
run: |
git remote set-url origin git@${{ env.GITEA_DOMAIN }}:${{ github.repository }}.git
git push origin HEAD:${{ env.TARGET_BRANCH }}