Skip to content

ci(triage-labels): stop labelling server issues as coding-agents - #5605

Merged
nicoloboschi merged 3 commits into
mainfrom
fix/triage-labels-core-vs-coding-agents
Oct 15, 2026
Merged

nicoloboschi merged 3 commits into
mainfrom
fix/triage-labels-core-vs-coding-agents

Conversation

@nicoloboschi

Copy link
Copy Markdown
Collaborator

The issue-labelling bot filed 13 of 28 open integration:coding-agents issues there by mistake. The coding-agents option listed Claude Code and Codex by name, and the core option never mentioned the claude-code / openai-codex / github-copilot LLM providers or hindsight-embed. So an issue about the server using Claude Code as its LLM (e.g. #5542) landed on coding-agents.

  • Core option now names those providers, the server's MCP tools, tenant/auth extensions, import/export and hindsight-embed.
  • Coding-agents option is scoped to the plugin package and says that an issue about the server using Claude Code or Codex as its LLM is core.
  • Model: gemini-3.1-flash-lite.

Dry run on all 28 open issues: every one labelled correctly. The 13 mislabelled issues were already moved to core by hand.

…oding-agents

The coding-agents description listed Claude Code/Codex by name while core
never mentioned the claude-code/openai-codex providers or hindsight-embed,
so flash-lite filed 13 of 28 open coding-agents issues there by mistake.
Scope the coding-agents option to the plugin package, name those parts in
core, and move to gemini-2.5-flash. Dry run on the 28 issues: all correct.
…a comment

Review fix: the reason the option descriptions are worded this way (and why
the model changed) was only in the commit message.
@nicoloboschi
nicoloboschi force-pushed the fix/triage-labels-core-vs-coding-agents branch from f85e39d to 9ca2ace Compare October 15, 2026 08:28
@nicoloboschi
nicoloboschi merged commit 1baa828 into main Oct 15, 2026
117 checks passed
@nicoloboschi
nicoloboschi deleted the fix/triage-labels-core-vs-coding-agents branch October 15, 2026 08:48
@nicoloboschi nicoloboschi mentioned this pull request Nov 3, 2026
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