Add lint: Plugin not ending in "Plugin"#111

Merged

BD103 merged 14 commits intomainfrom plugin-not-ending-in-plugin

Oct 3, 2024

+131

Commits on Sep 25, 2024

feat: setup infrastructure
BD103
committed

Commits on Sep 30, 2024

Merge branch 'main' into plugin-not-ending-in-plugin
BD103
authored

Commits on Oct 1, 2024

feat: clarify what is being linted
BD103
committed

Commits on Oct 2, 2024

Merge branch 'main' into plugin-not-ending-in-plugin
BD103
authored

Commits on Oct 3, 2024

Merge branch 'main' into plugin-not-ending-in-plugin
BD103
authored