Skip to content

General: Enable the devtools plugin - #43

Merged
d4rken merged 1 commit into
mainfrom
chore/enable-devtools-plugin
Aug 3, 2026
Merged

General: Enable the devtools plugin#43
d4rken merged 1 commit into
mainfrom
chore/enable-devtools-plugin

Conversation

@d4rken

@d4rken d4rken commented Aug 3, 2026

Copy link
Copy Markdown
Member

What changed

No user-facing behavior change. Repo tooling only: the devtools@claude-code-cafe plugin is added to the project's enabled AI-assistant plugins in .claude/settings.json, alongside the existing debugbadger and jvm-tools entries.

Technical Context

Config-only diff (one line). It has no effect on the app, the build, or CI behavior — it only affects which assistant plugins load for contributors working in this checkout. Full CI still runs because the ruleset requires all checks on every PR.

Adds devtools@claude-code-cafe to the project's enabled plugins, alongside
debugbadger and jvm-tools.
@github-actions github-actions Bot added the enhancement New feature or request label Aug 3, 2026
@d4rken
d4rken merged commit cc4ef84 into main Aug 3, 2026
12 checks passed
@d4rken
d4rken deleted the chore/enable-devtools-plugin branch August 3, 2026 10:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant