Skip to content

Conversation

@Urgau
Copy link
Member

@Urgau Urgau commented May 27, 2025

As discussed in #triagebot > triagebot concern, this PR introduces two new commands:

  • @bot concern CONCERN TITLE: which registers a concern
  • @bot resolve CONCERN TITLE: which marks a concern as resolved

The goal is to be able to set concerns on issues/PRs, and in particular to compiler MCP, which currently uses an ad-hoc system of abusing @rfcbot non-response.

The commands are feature-gated by a [concern] table:

[concern]
labels = ["has-concerns"] # optional labels that can be set automatically

below is what it would look like

Concerns

Generated by triagebot, see help for how to use them.

@Urgau Urgau requested a review from Kobzol May 27, 2025 17:01
Copy link
Member

@Kobzol Kobzol left a comment

Choose a reason for hiding this comment

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

Looks great! Left a few comments.

- [This is my concern about concern](https://github.com/fake-comment-1234) by [Urgau](https://github.com/Urgau)
- ~~[This is a resolved concern](https://github.com/fake-comment-4561) by [Kobzol](https://github.com/Kobzol)~~ resolved [in this comment](https:://github.com/fake-comment-8888)
Generated by triagebot, see [help](https://forge.rust-lang.org/triagebot/concern.html) for how to use them.
Copy link
Member

Choose a reason for hiding this comment

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

This should ideally be a pending/merged Forge PR before we merge this, I guess?

Copy link
Member Author

Choose a reason for hiding this comment

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

Opened rust-lang/rust-forge#867 to document it.

Copy link
Member

@Kobzol Kobzol left a comment

Choose a reason for hiding this comment

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

Thanks! Feel free to merge the Forge PR now, modulo a few nits.

@Kobzol Kobzol added this pull request to the merge queue May 29, 2025
Merged via the queue into rust-lang:master with commit 93d9985 May 29, 2025
3 checks passed
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.

2 participants