Skip to content

docs: rename to tools-benchmark and tools-dataset - #3

Merged
matbrgz merged 1 commit into
mainfrom
chore/rename-tools
Oct 12, 2026
Merged

matbrgz merged 1 commit into
mainfrom
chore/rename-tools

Conversation

@matbrgz

@matbrgz matbrgz commented Oct 12, 2026

Copy link
Copy Markdown
Contributor

The tools were renamed benchmark-tool → tools-benchmark and dataset-tool → tools-dataset (ADR 0005 in .product). Updates the living docs: README.md. GitHub redirects the old URLs meanwhile.

🤖 Generated with Claude Code

…ools-dataset

Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
@matbrgz
matbrgz merged commit 9461877 into main Oct 12, 2026
2 checks passed
@matbrgz
matbrgz deleted the chore/rename-tools branch October 12, 2026 19:09
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.

1 participant