Skip to content

Represent tool sources with a shared enum - #1905

Merged
mre merged 2 commits into
masterfrom
typed-tool-source
Sep 17, 2026
Merged

mre merged 2 commits into
masterfrom
typed-tool-source

Conversation

@mre

@mre mre commented Sep 17, 2026

Copy link
Copy Markdown
Member

Parse tool sources into a shared enum with GitHub repositories as a dedicated variant. The checker and renderer can match on the source type without reparsing URLs, while preserving the original URL text, generated output, and manual-review behavior for other sources.

@mre
mre merged commit 2787927 into master Sep 17, 2026
4 checks passed
@mre
mre deleted the typed-tool-source branch September 17, 2026 23:41
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