Fix push error hopefully

This commit is contained in:
Lim Chee Aun 2024-08-19 20:43:20 +08:00
parent 8a2150d854
commit f291d33ab0

View file

@ -63,7 +63,7 @@ jobs:
git config --global user.name "github-actions[bot]" git config --global user.name "github-actions[bot]"
git add src/data/catalogs.json git add src/data/catalogs.json
git commit -m "Update catalogs.json" git commit -m "Update catalogs.json"
git push git push origin HEAD:l10n_main
echo "Merging pull request" echo "Merging pull request"
PR_NUMBER=$(echo ${{ github.event.pull_request.number }}) PR_NUMBER=$(echo ${{ github.event.pull_request.number }})
gh pr merge $PR_NUMBER --auto --squash gh pr merge $PR_NUMBER --auto --squash