diff options
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/pr-mirror-repo-sync.yml | 30 |
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 |
