sync with upstream repository

Dilan Bhalla · Dilan Bhalla · commit 6fbc070aafd2 · 2023-04-26T17:10:42.000-07:00
diff --git a/.github/workflows/sync-main.yml b/.github/workflows/sync-main.yml
@@ -36,4 +36,3 @@ jobs:
           git merge codeql-cli/latest
           git push origin main
           git push origin --tags --force
-
