Skip to content

Plugin to tool#11

Merged
goodtocode merged 1 commit intomainfrom
10-tools-rename-plugin-convention-to-tool
Feb 7, 2026
Merged

Plugin to tool#11
goodtocode merged 1 commit intomainfrom
10-tools-rename-plugin-convention-to-tool

Conversation

@goodtocode
Copy link
Owner

No description provided.

@goodtocode goodtocode self-assigned this Feb 7, 2026
@goodtocode goodtocode linked an issue Feb 7, 2026 that may be closed by this pull request
@goodtocode goodtocode merged commit b3da4b3 into main Feb 7, 2026
4 checks passed
@goodtocode goodtocode deleted the 10-tools-rename-plugin-convention-to-tool branch February 7, 2026 20:22
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.

Tools: Rename Plugin convention to Tool

1 participant