diff options
| author | Yevhen Bondarenko <evgeniy.bondarenko@sentrium.io> | 2026-05-10 00:03:18 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2026-05-10 00:03:18 +0200 |
| commit | 8d254d0202fe724cd3745cb551d4e98d5aa62894 (patch) | |
| tree | e0a75afaa98e009f22eca1011a5a5f0eaae9ef6c | |
| parent | c90c3309e602879fabf2f6a2549e16b1269b8936 (diff) | |
| parent | 926e3fefb0dab3f4c405233412ec6a9a2e3fa075 (diff) | |
| download | community.vyos.net-8d254d0202fe724cd3745cb551d4e98d5aa62894.tar.gz community.vyos.net-8d254d0202fe724cd3745cb551d4e98d5aa62894.zip | |
Merge pull request #53 from kumvijaya/main
T8835: added pr mirror workflow
| -rw-r--r-- | .github/workflows/pr-mirror-repo-sync.yml | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/.github/workflows/pr-mirror-repo-sync.yml b/.github/workflows/pr-mirror-repo-sync.yml new file mode 100644 index 0000000..0a8a031 --- /dev/null +++ b/.github/workflows/pr-mirror-repo-sync.yml @@ -0,0 +1,35 @@ +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 }} |