Skip to content

feat: add tool name to PR comment header#12

Merged
tvcsantos merged 2 commits intomainfrom feature/add-tool-name-to-commentSep 19, 2023