Skip to content

docs: Add documentation website for Exposed Maven plugin#2838

Open
Frederik Pietzko (frederikpietzko) wants to merge 8 commits into
JetBrains:mainfrom
frederikpietzko:exposed-maven-plugin-docs
Open

docs: Add documentation website for Exposed Maven plugin#2838
Frederik Pietzko (frederikpietzko) wants to merge 8 commits into
JetBrains:mainfrom
frederikpietzko:exposed-maven-plugin-docs

Conversation

@frederikpietzko

Copy link
Copy Markdown

Summary

Adds the Writerside documentation for the Exposed Maven plugin:

  • New Exposed-maven-plugin.md topic with usage, configuration and examples
  • pom.xml and UsersTable.kt snippets under documentation-website/Writerside/snippets/exposed-maven-plugin/
  • Reference from Migrations.md
  • hi.tree navigation entry

Stacking

📚 Stacked on #2817 (feat: EXPOSED-758 Add Exposed Maven plugin for migration script generation).

This PR contains only the documentation; the plugin implementation lives in #2817. The diff will show the plugin changes too until #2817 is merged into main, after which it reduces to documentation only. Please merge #2817 first.

🤖 Generated with Claude Code

Frederik Pietzko and others added 8 commits May 27, 2026 11:07
Extract the Writerside documentation (topics, snippets, hi.tree, Migrations.md
updates) out of this PR so it can be reviewed separately as a stacked PR.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
Add Writerside documentation for the Exposed Maven plugin: a dedicated
Exposed-maven-plugin topic with pom.xml/UsersTable snippets, a reference
from Migrations.md, and the hi.tree navigation entry.

Stacked on top of the exposed-maven-plugin branch (PR JetBrains#2817).

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
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