Skip to content

Conversation

phillip-kruger
Copy link
Member

@phillip-kruger phillip-kruger commented Sep 12, 2025

This PR adds further functionality to Dev MCP allowing extension developers to set a default enable/disable flag and for end users to toggle between these.

image

It also includes some updates to the extensions already supporting Dev MCP adding the flag to some of them where is make sense .

It also updates the documentation for Dev MCP to reflect this.

Copy link

github-actions bot commented Sep 12, 2025

🎊 PR Preview 7df33f5 has been successfully built and deployed to https://quarkus-pr-main-50027-preview.surge.sh/version/main/guides/

  • Images of blog posts older than 3 months are not available.
  • Newsletters older than 3 months are not available.

@Retention(RUNTIME)
@Target({ METHOD })
@Documented
public @interface DevMCPEnableAsDefault {
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Wouldn't it be better to name it DevMCPEnableByDefault?

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I don't know :)

Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

It sounds much better to me

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants