summaryrefslogtreecommitdiff
path: root/.github/workflows
diff options
context:
space:
mode:
Diffstat (limited to '.github/workflows')
-rw-r--r--.github/workflows/pr-mirror-repo-sync.yml30
1 files changed, 0 insertions, 30 deletions
diff --git a/.github/workflows/pr-mirror-repo-sync.yml b/.github/workflows/pr-mirror-repo-sync.yml
deleted file mode 100644
index 30dab14..0000000
--- a/.github/workflows/pr-mirror-repo-sync.yml
+++ /dev/null
@@ -1,30 +0,0 @@
-# .github/workflows/pr-mirror-repo-sync.yml
-# DO NOT EDIT — managed by mirror-pipeline rollout.
-# To opt out: set vars.MIRROR_ENABLED=false in this repo's Actions variables.
-name: PR Mirror and Repo Sync
-
-on:
- pull_request_target:
- types: [closed]
- branches: [production]
- workflow_dispatch:
- inputs:
- sync_branch:
- required: true
- type: string
-
-permissions:
- contents: write
- pull-requests: write
- issues: write
-
-jobs:
- call:
- if: |
- github.repository_owner == 'vyos'
- && (github.event.pull_request.merged == true || github.event_name == 'workflow_dispatch')
- && vars.MIRROR_ENABLED != 'false'
- uses: vyos/.github/.github/workflows/pr-mirror-repo-sync.yml@production
- with:
- sync_branch: ${{ inputs.sync_branch || github.event.pull_request.base.ref }}
- secrets: inherit