Skip to content
Merged
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
65 changes: 30 additions & 35 deletions .github/workflows/pr-mirror-repo-sync.yml
Original file line number Diff line number Diff line change
@@ -1,35 +1,30 @@
name: PR Mirror and Repo Sync

on:
pull_request_target:
types: [closed]
branches: [main]
workflow_dispatch:
inputs:
sync_branch:
description: 'Branch to mirror'
required: true
default: 'main'
type: choice
options:
- main

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.inputs.sync_branch || 'main' }}
secrets:
PAT: ${{ secrets.PAT }}
REMOTE_OWNER: ${{ secrets.REMOTE_OWNER }}
# .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: [main]
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
Loading