From 18b1ce3f707ad01098985890a42942de00415c44 Mon Sep 17 00:00:00 2001 From: tommaso-moro Date: Fri, 19 Dec 2025 18:10:45 +0000 Subject: [PATCH 1/2] update pr template --- .github/pull_request_template.md | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/.github/pull_request_template.md b/.github/pull_request_template.md index cd0b3f1dd..0a6f70843 100644 --- a/.github/pull_request_template.md +++ b/.github/pull_request_template.md @@ -33,6 +33,13 @@ Fixes # - [ ] Auth / permissions considered - [ ] Data exposure, filtering, or token/size limits considered +## Tool renaming +- [ ] I am renaming tools as part of this PR (e.g. a part of a consolidation effort) + - [ ] I have added the new tool aliases in `deprecated_tool_aliases.go` +- [ ] I am not renaming tool as part of this PR + +Note: if you're renaming tools, you *must* add the tool aliases. For more information on how to do so, please refer to the [official docs](https://github.com/github/github-mcp-server/blob/main/docs/tool-renaming.md). + ## Lint & tests - [ ] Linted locally with `./script/lint` From 99c0d0a58c87dd8e25dfd546c341ba0407b5b5b8 Mon Sep 17 00:00:00 2001 From: tommaso-moro Date: Fri, 19 Dec 2025 18:16:38 +0000 Subject: [PATCH 2/2] fix --- .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 0a6f70843..e35f807d5 100644 --- a/.github/pull_request_template.md +++ b/.github/pull_request_template.md @@ -36,7 +36,7 @@ Fixes # ## Tool renaming - [ ] I am renaming tools as part of this PR (e.g. a part of a consolidation effort) - [ ] I have added the new tool aliases in `deprecated_tool_aliases.go` -- [ ] I am not renaming tool as part of this PR +- [ ] I am not renaming tools as part of this PR Note: if you're renaming tools, you *must* add the tool aliases. For more information on how to do so, please refer to the [official docs](https://github.com/github/github-mcp-server/blob/main/docs/tool-renaming.md).