DEVX-120: Fix badges push: git clean removes .badges/ before copy #183

Merged
emil merged 1 commits from DEVX-120-fix-badges-push into master 2026-07-07 12:03:53 +00:00
1 Commits
Author SHA1 Message Date
emil 61a4c227ba fix: preserve .badges/ dir during git clean in push_badges
CI / pr-review (pull_request) Successful in 13s
CI / detect-changes (pull_request) Successful in 15s
CI / quality (pull_request) Successful in 1m27s
CI / release-dry-run (pull_request) Successful in 15s
CI / auto-merge (pull_request) Successful in 18s
2026-07-07 14:01:20 +02:00