New issue

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

#

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

Already on GitHub? # to your account

Jump to bottom

Try to find an existing PR (if any) and invite the user to review it instead #13

Open

1 of 2 tasks

sebalix opened this issue Dec 21, 2022 · 0 comments

Open

1 of 2 tasks

Try to find an existing PR (if any) and invite the user to review it instead #13

sebalix opened this issue Dec 21, 2022 · 0 comments

Labels

Collaborator

sebalix commented Dec 21, 2022 •

edited

Loading

Describe the solution you'd like
Two cases:

Module not yet migrated: look for an existing migration PR
Module with missing commits: for each PR still non-ported, look for an existing porting PR

Use GH API to grab relevant info.

sebalix added the enhancement label

# for free to join this conversation on GitHub. Already have an account? # to comment