Skip to content

chore(issues): record blockers as GitHub issue dependencies, not a label - #684

Merged
Medformatik merged 1 commit into
mainfrom
chore/drop-blocked-label
Oct 30, 2026
Merged

chore(issues): record blockers as GitHub issue dependencies, not a label#684
Medformatik merged 1 commit into
mainfrom
chore/drop-blocked-label

Commits

  1. Commits on Oct 30, 2026