While working on Feature #1810, we had cause to request the global-search-and-replace renaming of the class ./src/main/java/com/github/copilot/tool/Param.java to be CopilotToolParam instead.
The reason is that I want to use Param for the tool-as-lambda variant of the API. See https://github.com/github/copilot-sdk/blob/edburns/1810-java-tool-ergonomics-tool-as-lambda/1810-java-tool-ergonomics-tool-as-lambda-remove-before-merge/1810-ignorance-reduction-for-implementation-plan.md , where you will see the text
Assume current annotation class com.github.copilot.tool.Param is renamed to CopilotToolParam.
This issue requests the implementation of that rename.
While working on Feature #1810, we had cause to request the global-search-and-replace renaming of the class
./src/main/java/com/github/copilot/tool/Param.javato beCopilotToolParaminstead.The reason is that I want to use
Paramfor thetool-as-lambdavariant of the API. See https://github.com/github/copilot-sdk/blob/edburns/1810-java-tool-ergonomics-tool-as-lambda/1810-java-tool-ergonomics-tool-as-lambda-remove-before-merge/1810-ignorance-reduction-for-implementation-plan.md , where you will see the textAssume current annotation class
com.github.copilot.tool.Paramis renamed toCopilotToolParam.This issue requests the implementation of that rename.