From 7553e14873bca62bc14e14d72a86fe118699066c Mon Sep 17 00:00:00 2001
From: Dilan Bhalla <dilanbhalla@microsoft.com>
Date: Mon, 21 Apr 2025 12:21:23 -0700
Subject: [PATCH] sync upstream tags to main

---
 .github/workflows/sync-main-tags.yml | 27 +++++++++++++++++++++++++++
 1 file changed, 27 insertions(+)
 create mode 100644 .github/workflows/sync-main-tags.yml

diff --git a/.github/workflows/sync-main-tags.yml b/.github/workflows/sync-main-tags.yml
new file mode 100644
index 00000000000..f27a112ed9b
--- /dev/null
+++ b/.github/workflows/sync-main-tags.yml
@@ -0,0 +1,27 @@
+name: Sync Main Tags
+
+on:
+  pull_request:
+    types:
+      - closed
+    branches:
+      - main
+
+jobs:
+  sync-main-tags:
+    name: Sync Main Tags
+    runs-on: ubuntu-latest
+    if: github.repository == 'microsoft/codeql' && github.event.pull_request.merged == true && github.event.pull_request.head.ref == 'auto/sync-main-pr'
+    permissions:
+      contents: write
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v3
+        with:
+          fetch-depth: 0
+      - name: Push Tags
+        run: |
+          git fetch upstream --tags --force
+          git push --force origin --tags
+        env:
+          GH_TOKEN: ${{ secrets.WORKFLOW_TOKEN }}