Fix push error hopefully

cheeaun · Aug 19, 2024 · f291d33 · f291d33
1 parent 8a2150d
commit f291d33
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/i18n-automerge.yml b/.github/workflows/i18n-automerge.yml
@@ -63,7 +63,7 @@ jobs:
               git config --global user.name "github-actions[bot]"
               git add src/data/catalogs.json
               git commit -m "Update catalogs.json"
-              git push
+              git push origin HEAD:l10n_main
               echo "Merging pull request"
               PR_NUMBER=$(echo ${{ github.event.pull_request.number }})
               gh pr merge $PR_NUMBER --auto --squash