Skip to content

Update PR template to include tool renaming section#1657

Open
tommaso-moro wants to merge 2 commits intomainfrom
tommy/update-pr-template
Open

Update PR template to include tool renaming section#1657
tommaso-moro wants to merge 2 commits intomainfrom
tommy/update-pr-template

Commits

Commits on Dec 19, 2025