Add workflow file to branch rohit-sre-github-patch-18

Author: GitHub Actions

.github/workflows/sync-to-public-mirror.yml

@@ -0,0 +1,28 @@
+name: Sync Repository to Public Mirror
+
+on:
+  pull_request:
+    types: [closed]
+    # No branches filter means it will trigger for ALL branches
+  workflow_dispatch:
+    inputs:
+      force_sync:
+        description: 'Force sync all branches'
+        required: false
+        default: 'true'
+        type: boolean
+      public_repo_name:
+        description: 'Public repository name (leave empty to auto-derive by removing "-private")'
+        required: false
+        type: string
+
+jobs:
+  call-sync-workflow:
+    # Only run this job when the PR was merged, not just closed
+    if: github.event.pull_request.merged == true || github.event_name == 'workflow_dispatch'
+    uses: thoughtspot/workflows/.github/workflows/sync-to-public-mirror.yml@main
+    with:
+      force_sync: ${{ github.event.inputs.force_sync == 'true' }}
+      public_repo_name: ${{ github.event.inputs.public_repo_name || '' }}
+    secrets:
+      SSH_DEPLOY_KEY: ${{ secrets.SSH_DEPLOY_KEY }}