Skip to content

Fix: allow dash in usernames in PR title linting @geminixiang#15

Merged
geminixiang merged 1 commit intomainfrom fix/username-contains-dashJun 18, 2024

Commits

Commits on Jun 18, 2024