Skip to content

Rename edit-wiki-page safe output to update-wiki-page#66

Merged
jamesadevine merged 1 commit intomainfrom
copilot/update-wiki-page
Mar 20, 2026
Merged

Rename edit-wiki-page safe output to update-wiki-page#66
jamesadevine merged 1 commit intomainfrom
copilot/update-wiki-page

Conversation

Copy link
Contributor

Copilot AI commented Mar 20, 2026

Renames the edit-wiki-page safe output tool to update-wiki-page for clearer naming consistency.

Changes

  • src/tools/edit_wiki_page.rssrc/tools/update_wiki_page.rs — file rename with all internal type names updated (EditWikiPage*UpdateWikiPage*)
  • src/tools/mod.rs — updated module declaration and re-export
  • src/mcp.rs — updated import, #[tool] name attribute, function name, and log messages
  • src/execute.rs — updated import, match arm string, log messages, and unit test names
  • src/compile/common.rs — updated WRITE_REQUIRING_SAFE_OUTPUTS constant entry
  • src/tools/create_wiki_page.rs — updated cross-tool references in error messages
  • tests/compiler_tests.rs — updated test names and front matter fixture strings
  • AGENTS.md — updated file tree, section heading, and example front matter

Front matter usage changes from:

safe-outputs:
  edit-wiki-page:
    wiki-name: "MyProject.wiki"

to:

safe-outputs:
  update-wiki-page:
    wiki-name: "MyProject.wiki"

Co-authored-by: jamesadevine <4742697+jamesadevine@users.noreply.github.com>
@jamesadevine jamesadevine marked this pull request as ready for review March 20, 2026 11:04
@jamesadevine jamesadevine merged commit 2b6c5ed into main Mar 20, 2026
8 of 11 checks passed
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