Skip to content

Sandcastle Copilot: Tool registry handling fix#13615

Merged
lukemckinstry merged 3 commits into
mainfrom
toolregistry_fix
Jul 13, 2026
Merged

Sandcastle Copilot: Tool registry handling fix#13615
lukemckinstry merged 3 commits into
mainfrom
toolregistry_fix

Conversation

@Guillar1

@Guillar1 Guillar1 commented Jul 7, 2026

Copy link
Copy Markdown
Contributor

#13614

Testing plan

Open Copilot → close it → edit the JS → reopen → ask for an edit. Before the fix every apply_diff fails with the nonsense closest-match hints; after it they apply normally.

Author checklist

  • I have submitted a Contributor License Agreement
  • I have added my name to CONTRIBUTORS.md
  • I have updated CHANGES.md with a short summary of my change
  • I have added or updated unit tests to ensure consistent code coverage
  • I have updated the inline documentation, and included code examples where relevant
  • I have performed a self-review of my code

AI acknowledgment

  • I used AI to generate content in this PR
  • If yes, I have reviewed the AI-generated content before submitting

If yes, I used the following Tools(s) and/or Service(s):

If yes, I used the following Model(s):

@github-actions

github-actions Bot commented Jul 7, 2026

Copy link
Copy Markdown
Contributor

Thank you for the pull request, @Guillar1!

✅ We can confirm we have a CLA on file for you.

@Guillar1 Guillar1 changed the title Tool registry handling fix Sandcastle Copilot: Tool registry handling fix Jul 7, 2026
@lukemckinstry
lukemckinstry self-requested a review July 13, 2026 14:54

@lukemckinstry lukemckinstry left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

Looks good, the fix works as described 👍

@lukemckinstry
lukemckinstry added this pull request to the merge queue Jul 13, 2026
Merged via the queue into main with commit 4a7c4d4 Jul 13, 2026
9 of 10 checks passed
@lukemckinstry
lukemckinstry deleted the toolregistry_fix branch July 13, 2026 16:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants