blob: 0f16633f83f09237261a8defcad26f76ae9c8ae8 (
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
|
# .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: [rolling, production]
workflow_dispatch:
inputs:
sync_branch:
required: true
type: string
permissions:
contents: read
jobs:
call:
if: |
github.repository_owner == 'vyos'
&& (github.event.pull_request.merged == true || github.event_name == 'workflow_dispatch')
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
|