allow unrelated histories on merge

This commit is contained in:
Dilan Bhalla
2023-04-24 14:55:18 -07:00
parent b0e4305c95
commit fd05c130d4

View File

@@ -31,7 +31,7 @@ jobs:
- name: Sync Main
shell: bash
run: |
git merge codeql-cli/latest
git merge codeql-cli/latest --allow-unrelated-histories
git push origin main
git push origin --tags --force