diff options
| author | kumvijaya <kuvmijaya@gmail.com> | 2025-07-10 08:59:20 +0530 |
|---|---|---|
| committer | kumvijaya <kuvmijaya@gmail.com> | 2025-07-10 08:59:20 +0530 |
| commit | c9ca07c91e58d13552b4047a7e04305614b0beef (patch) | |
| tree | 73f4237341a50c6f6f57d229de4710a428d0abdd /.github/workflows | |
| parent | f0e5524a817e4370202b5ab40ab6cb80d42ef32d (diff) | |
| download | vyos-1x-c9ca07c91e58d13552b4047a7e04305614b0beef.tar.gz vyos-1x-c9ca07c91e58d13552b4047a7e04305614b0beef.zip | |
T7613: pr mirror workflow manual run option added
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/pr-mirror-repo-sync.yml | 28 |
1 files changed, 18 insertions, 10 deletions
diff --git a/.github/workflows/pr-mirror-repo-sync.yml b/.github/workflows/pr-mirror-repo-sync.yml index 7f0012d18..047d109fc 100644 --- a/.github/workflows/pr-mirror-repo-sync.yml +++ b/.github/workflows/pr-mirror-repo-sync.yml @@ -1,27 +1,35 @@ name: PR Mirror and Repo Sync + on: pull_request_target: - types: - - closed - branches: - - current + types: [closed] + branches: [current] workflow_dispatch: inputs: sync_branch: - description: 'branch to sync' - required: false - type: string + description: 'Branch to mirror' + required: true default: 'current' + type: choice + options: + - current + permissions: pull-requests: write contents: write issues: write + jobs: - call-trigger-mirror-pr-repo-sync: - if: github.repository_owner == 'vyos' && github.event.pull_request.merged == true + 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: ${{ inputs.sync_branch }} + sync_branch: ${{ github.event.inputs.sync_branch || 'current' }} secrets: PAT: ${{ secrets.PAT }} REMOTE_OWNER: ${{ secrets.REMOTE_OWNER }} |