Skip to content

MIR: use GH labels for meeting links #46

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 1 commit into
base: main
Choose a base branch
from

Conversation

cpaelzer
Copy link
Collaborator

@cpaelzer cpaelzer commented Jun 6, 2025

We now point to the new repository, to identify PRs and issues there labels will be used.

We now point to the new repository, to identify PRs and issues there labels will be used.
@cpaelzer cpaelzer added the MIR For the attention of the MIR team label Jun 6, 2025
Copy link
Collaborator

@s-makin s-makin left a comment

Choose a reason for hiding this comment

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

LGTM :)

I wasn't auto-pinged for review this time, but it also means I/Robert will not be blockers for content owned by the MIR team. If the MIR teams want TA eyes on something you'll have to manually assign us as reviewers

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
MIR For the attention of the MIR team
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants