diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/force-workspace-backport.yml | 25 |
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 |