Skip to content

Conversation

@jkoritzinsky
Copy link
Member

Also added edit/editFiles to the JIT-EE API prompt as it required it in my local usage.

Copilot AI review requested due to automatic review settings January 29, 2026 00:39
@github-actions github-actions bot added the needs-area-label An area label is needed to ensure this gets routed to the appropriate area owners label Jan 29, 2026
Copy link
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

This PR updates the YAML frontmatter in two GitHub Copilot prompt configuration files to replace deprecated tool names with their current namespaced equivalents that work properly in VS Code Copilot Chat.

Changes:

  • Renamed the mode: field to agent: in both prompt files
  • Updated tool names from deprecated short names to namespaced versions (e.g., changessearch/changes, codebasesearch/codebase)
  • Added edit/editFiles tool to the JIT-EE API prompt as required for the author's use case

Reviewed changes

Copilot reviewed 2 out of 2 changed files in this pull request and generated no comments.

File Description
.github/prompts/docs.prompt.md Updated YAML frontmatter: renamed mode to agent and updated 4 tool names to their namespaced equivalents
.github/prompts/add-new-jit-ee-api.prompt.md Updated YAML frontmatter: renamed mode to agent, expanded tool list from 6 deprecated names to 10 namespaced tools including newly added edit/editFiles

Copy link
Member

@EgorBo EgorBo left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Ugh, it's the 2nd time those are updated to something non-deprecated 😐

I suspect it should be rewritten to be a SKILL.

@jkoritzinsky jkoritzinsky enabled auto-merge (squash) January 29, 2026 03:21
@jkoritzinsky
Copy link
Member Author

/ba-g markdown only change

@jkoritzinsky jkoritzinsky merged commit 4fe4a9f into dotnet:main Jan 29, 2026
22 of 23 checks passed
@github-project-automation github-project-automation bot moved this to Done in AppModel Jan 29, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

needs-area-label An area label is needed to ensure this gets routed to the appropriate area owners

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

2 participants