diff options
| author | kumvijaya <kumvijaya@gmail.com> | 2026-03-09 00:15:13 +0530 |
|---|---|---|
| committer | kumvijaya <kumvijaya@gmail.com> | 2026-03-09 00:15:13 +0530 |
| commit | a8c4094e7b2fbae41bf8a77628966912b9e2a43d (patch) | |
| tree | 2d605c952e1d35569fa6a9bb70f90c28f1a454a5 /.github | |
| parent | a0a3f1a192b5bd39363c016ba7b10d8e2e5bb18b (diff) | |
| download | vyatta-bash-a8c4094e7b2fbae41bf8a77628966912b9e2a43d.tar.gz vyatta-bash-a8c4094e7b2fbae41bf8a77628966912b9e2a43d.zip | |
T8365: enabled PR mirror
Diffstat (limited to '.github')
| -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 index e69de29..88fb563 100644 --- a/.github/workflows/pr-mirror-repo-sync.yml +++ 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: [current] + workflow_dispatch: + inputs: + sync_branch: + description: 'Branch to mirror' + required: true + default: 'current' + type: choice + options: + - current + +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 || 'current' }} + secrets: + PAT: ${{ secrets.PAT }} + REMOTE_OWNER: ${{ secrets.REMOTE_OWNER }} |