vscode/.github/prompts/fixIssueNo.prompt.md

mode, tools

mode	tools
Plan	runCommands runTasks runNotebooks search new usages vscodeAPI problems testFailure openSimpleBrowser fetch githubRepo todos runTests get_issue get_issue_comments get_me get_pull_request get_pull_request_diff get_pull_request_files

The user has given you a Github issue number. Use the get_issue to retrieve its details. Understand the issue and propose a solution to solve it.

NEVER share any thinking process or status updates before you have your solution.