Skip to content

Add Kotlin extractor agent instructions - #22806

Merged
andersfugmann merged 1 commit into
mainfrom
andersfugmann/kotlin-agent-instructions
Oct 15, 2026
Merged

andersfugmann merged 1 commit into
mainfrom
andersfugmann/kotlin-agent-instructions

Conversation

@andersfugmann

Copy link
Copy Markdown
Contributor

Add concise guidance to help coding agents make reliable changes to the Kotlin extractor and validate them against the intended compiler and extractor versions.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Copilot-Session: 432eb0f0-bc51-4994-8005-0fbd193b225f
@andersfugmann
andersfugmann requested review from a team as code owners October 12, 2026 09:40
Copilot AI balanced review requested due to automatic review settings October 12, 2026 09:40

Copilot AI left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

🟢 Approval recommended

The guidance accurately reflects the extractor’s build, version-selection, compatibility, and testing mechanisms.

0 open findings

What changed in this PR

Adds scoped development guidance for reliable Kotlin extractor changes and version-aware validation.

Changes:

  • Documents versioned packaging and compatibility patches.
  • Provides compiler/runtime selection and testing guidance.
File Description
java/​kotlin-extractor/​AGENTS.md Adds Kotlin extractor development instructions.

🧠 Review effort: Balanced


💡 Add a code-review agent skill or configure MCP servers for context-aware, tailored reviews. Learn more in the docs.

@paldepind paldepind left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

LGTM.

@andersfugmann
andersfugmann merged commit 6b16b0b into main Oct 15, 2026
18 checks passed
@andersfugmann
andersfugmann deleted the andersfugmann/kotlin-agent-instructions branch October 15, 2026 07:27
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.

3 participants