Skip to content

fix: properly quote PR_TITLE#337

Merged
wraithgar merged 1 commit intomainfrom gar/pr-lintJul 18, 2023

Commits

Commits on Jul 18, 2023