GRM-45: ci: fix badges push — skip pre-commit on orphan branch

The badges job failed because git commit triggered pre-commit hooks
on the orphan branch where .pre-commit-config.yaml was removed by
git rm -rf . Added --no-verify and PRE_COMMIT_ALLOW_NO_CONFIG=1.

Generated with [Devin](https://devin.ai)

Co-Authored-By: Devin <158243242+devin-ai-integration[bot]@users.noreply.github.com>
This commit is contained in:
Emil Simeonov
2026-06-22 00:38:27 +02:00
co-authored by Devin <158243242+devin-ai-integration[bot]@users.noreply.github.com>
parent cff8a35244
commit f5431c54cf
+3 -1
View File
@@ -194,6 +194,8 @@ jobs:
. .venv/bin/activate
python3 scripts/generate_badges.py --output-dir .badges/
- name: Push badges to badges branch
env:
PRE_COMMIT_ALLOW_NO_CONFIG: "1"
run: |
git config user.name "gitea-actions-bot"
git config user.email "actions@oblachno.fyi"
@@ -201,5 +203,5 @@ jobs:
git rm -rf .
cp -r .badges/* .
git add *.json
git commit -m "Update badges [skip ci]"
git commit --no-verify -m "Update badges [skip ci]"
git push origin badges --force