summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--.github/workflows/force-workspace-backport.yml25
1 files changed, 25 insertions, 0 deletions
diff --git a/.github/workflows/force-workspace-backport.yml b/.github/workflows/force-workspace-backport.yml
new file mode 100644
index 00000000..37fba9f4
--- /dev/null
+++ b/.github/workflows/force-workspace-backport.yml
@@ -0,0 +1,25 @@
+# .github/workflows/force-workspace-backport.yml
+# DO NOT EDIT — managed by mirror-pipeline Rollout 4.
+name: force_workspace backport companion
+
+on:
+ issue_comment:
+ types: [created]
+
+permissions:
+ contents: read
+
+jobs:
+ call:
+ # No-op on the public source (owner != VyOS-Networks); active on the mirrored target copy.
+ if: |
+ github.repository_owner == 'VyOS-Networks'
+ && github.event.issue.pull_request != null
+ && github.event.comment.user.login == 'mergify[bot]'
+ && contains(github.event.comment.body, 'No backport have been created')
+ uses: vyos/.github/.github/workflows/force-workspace-backport.yml@production
+ with:
+ mergify_comment_id: ${{ github.event.comment.id }}
+ mergify_comment_body: ${{ github.event.comment.body }}
+ target_pr_number: ${{ github.event.issue.number }}
+ secrets: inherit