Files
stack/dev/scripts/file_concurrency_issues.py
kert c3f8bf9398
Some checks failed
CI / lint (push) Successful in 34s
Deploy / notebooks (push) Has been skipped
Deploy / zotero (push) Has been skipped
Deploy / docs (push) Has been skipped
Deploy / api (push) Has been skipped
Deploy / mc (push) Has been skipped
Deploy / report (push) Successful in 17s
CI / test (push) Failing after 13m7s
fix(scripts): resolve Gitea label names to IDs in issue filer
Gitea's create-issue API takes label IDs, not names, so the filer would
have dropped/errored on string labels. Resolve names against the repo's
labels and include only those that exist. Used to file the concurrency
issues #508-#514.
2026-07-08 15:43:25 -04:00

8.1 KiB