From d806480e41bcb623448a258ddffeb75082fe1e1f Mon Sep 17 00:00:00 2001 From: morluto <76467478+morluto@users.noreply.github.com> Date: Mon, 13 Jul 2026 03:25:02 +0000 Subject: [PATCH] docs: correct pull request tool inventory --- .github/pull_request_template.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/pull_request_template.md b/.github/pull_request_template.md index e745d42c2..dda5dd048 100644 --- a/.github/pull_request_template.md +++ b/.github/pull_request_template.md @@ -26,7 +26,7 @@ ## Tool Contract Impact - + ## Related Issues