oblachno-oss/devx
Public Access
3
0
Fork 0
Code Issues 82 Pull Requests 1 Actions Packages Projects Releases 2 Wiki Activity

DEVX-120: fix: preserve .badges/ dir during git clean in push_badges
Post-merge / detect-type (push) Successful in 9s
Details
Post-merge / validate-commit-msg (push) Successful in 10s
Details
Post-merge / configure-repo (push) Successful in 16s
Details
Post-merge / vikunja (push) Successful in 21s
Details
Post-merge / sync-wiki (push) Successful in 30s
Details
Post-merge / release (push) Successful in 40s
Details
Post-merge / publish (push) Successful in 25s
Details
Post-merge / badges (push) Successful in 41s
Details

Browse Source
This commit was merged in pull request #183.
This commit is contained in:
emil
2026-07-07 12:03:51 +00:00
parent 1d7bf7118a
commit 443dc01b4e
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/devx/ci/push_badges.py
+2 -2
View File
@@ -93,8 +93,8 @@ def push_to_badges_branch(badges_dir: str) -> str:
_run(["git", "config", "user.email", "actions@oblachno.fyi"]) # nosec B607
_run(["git", "checkout", "--orphan", "badges"]) # nosec B607
_run(["git", "rm", "-rf", "."]) # nosec B607
# Remove untracked files/dirs left behind (e.g. .badges/ from generate_badges)
_run(["git", "clean", "-fdx", "-e", ".git"]) # nosec B607
# Remove untracked files/dirs left behind, but preserve .badges/ for copy below
_run(["git", "clean", "-fdx", "-e", ".git", "-e", badges_dir]) # nosec B607
# Copy badge files to root
for svg in Path(badges_dir).glob("*.svg"):