fix: handle multiple potential PR numbers in commit message#33
Merged
DerekRoberts merged 2 commits intomainfrom Feb 25, 2026
Merged
fix: handle multiple potential PR numbers in commit message#33DerekRoberts merged 2 commits intomainfrom
DerekRoberts merged 2 commits intomainfrom