Skip to content

Make r? work in our PRs #3528

@RalfJung

Description

@RalfJung

Is there a way that we can get r? to work without automatic reviewer assignment?

Metadata

Metadata

Assignees

No one assigned

    Labels

    A-metaNot about any part of Miri per se, but about shaping the environment to make something in/with MiriC-enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancement

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions