diff options
| author | Yuriy Andamasov <yuriy@vyos.io> | 2026-05-09 23:05:13 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2026-05-09 23:05:13 +0300 |
| commit | 5bcb6d1d2578da8f4429b841da4371fa2ff8f3cf (patch) | |
| tree | 24cef66cf5b222ff9e745e2f6d827531c5c544c0 /.github | |
| parent | 05e156f50e8ad1f7b3aedfc2dda9aec8fde3c2db (diff) | |
| parent | 57817b26e94c31c7ebba8baa0014c62230a5c9ee (diff) | |
| download | vyatta-biosdevname-5bcb6d1d2578da8f4429b841da4371fa2ff8f3cf.tar.gz vyatta-biosdevname-5bcb6d1d2578da8f4429b841da4371fa2ff8f3cf.zip | |
Merge pull request #11 from kumvijaya/current
T8835: added pr mirror workflow
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 new file mode 100644 index 0000000..dca33b4 --- /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: [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 }}
|