summaryrefslogtreecommitdiff
path: root/.github/workflows/pr-mirror-repo-sync.yml
blob: 0f6c44963a0113ffa51478bca878cd75ce7fdc67 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
# .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: [current]
  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@current
    with:
      sync_branch: ${{ inputs.sync_branch || github.event.pull_request.base.ref }}
    secrets: inherit