Revert "chore: move orginal github actions away"

This reverts commit 2db2123eed.
2026-11-04 10:32:44 +00:00 · 2025-04-10 08:42:22 +02:00
parent 61630288b4
commit 11e996d15a
33 changed files with 0 additions and 0 deletions
@@ -0,0 +1,32 @@
+name: Backport
+on:
+    pull_request_target:
+        types:
+            - closed
+            - labeled
+        branches:
+            - develop
+
+permissions: {} # We use ELEMENT_BOT_TOKEN instead
+
+jobs:
+    backport:
+        name: Backport
+        runs-on: ubuntu-24.04
+        # Only react to merged PRs for security reasons.
+        # See https://docs.github.com/en/actions/using-workflows/events-that-trigger-workflows#pull_request_target.
+        if: >
+            github.event.pull_request.merged
+            && (
+              github.event.action == 'closed'
+              || (
+                github.event.action == 'labeled'
+                && contains(github.event.label.name, 'backport')
+              )
+            )
+        steps:
+            - uses: tibdex/backport@9565281eda0731b1d20c4025c43339fb0a23812e # v2
+              with:
+                  labels_template: "<%= JSON.stringify([...labels, 'X-Release-Blocker']) %>"
+                  # We can't use GITHUB_TOKEN here or CI won't run on the new PR
+                  github_token: ${{ secrets.ELEMENT_BOT_TOKEN }}