Skip to content

馃敡 fix: allow scoped PR titles - #31

Merged
yeazelm merged 1 commit into
mainfrom
fix_lints/daggerverse
May 29, 2026
Merged

馃敡 fix: allow scoped PR titles#31
yeazelm merged 1 commit into
mainfrom
fix_lints/daggerverse

馃敡 fix(ghcontrib): allow scoped PR titles

9f40734
Select commit
Loading
Failed to load commit list.