ci: remove PR mirror workflow

The mirror caller has been disabled and the target mirror repo at
VyOS-Networks/vyos-documentation has been removed. Drop the workflow
file so the repo state reflects "this repo does not mirror" without
relying on a dangling disabled workflow.

1 files changed, 0 insertions, 35 deletions

diff --git a/.github/workflows/pr-mirror-repo-sync.yml b/.github/workflows/pr-mirror-repo-sync.yml
deleted file mode 100644
index 5c944971..00000000
--- a/.github/workflows/pr-mirror-repo-sync.yml
+++ /dev/null
@@ -1,35 +0,0 @@
-name: PR Mirror and Repo Sync

-

-on:

-  pull_request_target:

-    types: [closed]

-    branches: [rolling]

-  workflow_dispatch:

-    inputs:

-      sync_branch:

-        description: 'Branch to mirror'

-        required: true

-        default: 'rolling'

-        type: choice

-        options:

-          - rolling

-

-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_name == 'pull_request_target' && github.event.pull_request.base.ref || github.event.inputs.sync_branch || 'rolling' }}

-    secrets:

-      PAT: ${{ secrets.PAT }}

-      REMOTE_OWNER: ${{ secrets.REMOTE_OWNER }}