Skip to content

Revert "feat(tools): add export_map_html_tool" (#275) - #279

Merged
ctufts merged 1 commit into
mainfrom
revert/export-map-html-tool
Oct 15, 2026
Merged

ctufts merged 1 commit into
mainfrom
revert/export-map-html-tool

Conversation

@ctufts

@ctufts ctufts commented Oct 15, 2026 •

Copy link
Copy Markdown
Contributor

Summary

Reverts #275 (export_map_html_tool) from main. We're not shipping it right now. The work is still on feat/export-map-html-tool, so it can be re-landed later.

Testing

npm run build and npm test pass (91 files, 1031 tests).

🤖 Generated with Claude Code

… pages (#275)"

This reverts commit 1a1dea9.
The work is kept on the feat/export-map-html-tool branch to re-land later.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@ctufts
ctufts requested a review from a team as a code owner October 15, 2026 15:10
@ctufts
ctufts merged commit f7d321e into main Oct 15, 2026
5 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