diff options
| -rw-r--r-- | .github/workflows/pr-mirror-repo-sync.yml | 35 |
1 files changed, 0 insertions, 35 deletions
diff --git a/.github/workflows/pr-mirror-repo-sync.yml b/.github/workflows/pr-mirror-repo-sync.yml deleted file mode 100644 index 5c944971..00000000 --- a/.github/workflows/pr-mirror-repo-sync.yml +++ /dev/null @@ -1,35 +0,0 @@ -name: PR Mirror and Repo Sync
-
-on:
- pull_request_target:
- types: [closed]
- branches: [rolling]
- workflow_dispatch:
- inputs:
- sync_branch:
- description: 'Branch to mirror'
- required: true
- default: 'rolling'
- type: choice
- options:
- - rolling
-
-permissions:
- pull-requests: write
- contents: write
- issues: write
-
-jobs:
- call-pr-mirror-repo-sync:
- if: |
- github.repository_owner == 'vyos' &&
- (
- github.event_name == 'workflow_dispatch' ||
- (github.event_name == 'pull_request_target' && github.event.pull_request.merged == true)
- )
- uses: vyos/.github/.github/workflows/pr-mirror-repo-sync.yml@current
- with:
- sync_branch: ${{ github.event_name == 'pull_request_target' && github.event.pull_request.base.ref || github.event.inputs.sync_branch || 'rolling' }}
- secrets:
- PAT: ${{ secrets.PAT }}
- REMOTE_OWNER: ${{ secrets.REMOTE_OWNER }}
|
