Modification ci

2026-05-25 08:01:39 +02:00
parent 0d0331e2d7
commit a810dcd472
2 changed files with 62 additions and 26 deletions
@@ -0,0 +1,37 @@
+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: Install curl
+        run: apk add --no-cache curl
+
+      - name: Create PR release → develop
+        run: |
+          RELEASE_BRANCH="${{ github.event.pull_request.head.ref }}"
+
+          curl --fail-with-body -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"