Open
Description
In Miri I'd like to use r?
but we don't currently want automatic assignment of PR reviewers. However, according to the docs:
If the owners map is configured, then triagebot will automatically select a reviewer based on which files were modified in the PR. This also enables the ability for users to post a comment with r? name to set the assignment to a specific user.
Is there a way to enable r?
comments without having an owners map?