job sync develop

This commit is contained in:
2026-05-25 06:37:40 +02:00
parent 9d474bb331
commit d460b8f518
+34
View File
@@ -0,0 +1,34 @@
name: Sync release into develop
on:
pull_request:
types:
- closed
branches:
- main
jobs:
sync-develop:
if: github.event.pull_request.merged == true && startsWith(github.event.pull_request.head.ref, 'release/')
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: https://github.com/actions/checkout@v4
with:
fetch-depth: 0
token: ${{ secrets.RELEASE_TOKEN }}
- name: Create PR release → develop
run: |
RELEASE_BRANCH="${{ github.event.pull_request.head.ref }}"
curl -X POST \
-H "Authorization: token ${{ secrets.RELEASE_TOKEN }}" \
-H "Content-Type: application/json" \
-d "{
\"title\": \"chore: sync ${RELEASE_BRANCH} into develop\",
\"head\": \"${RELEASE_BRANCH}\",
\"base\": \"develop\",
\"body\": \"Synchronisation automatique après merge de ${RELEASE_BRANCH} dans main.\"
}" \
"${{ gitea.server_url }}/api/v1/repos/${{ gitea.repository }}/pulls"