Skip to content
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

New pull request prefs workflow #2

Closed
wants to merge 1 commit into from
Closed

Conversation

apiraino
Copy link
Owner

@apiraino apiraino commented Sep 8, 2023

No description provided.

@apiraino apiraino force-pushed the pr-review-prefs-2 branch 11 times, most recently from aab031e to 63c242f Compare September 11, 2023 17:14
@apiraino apiraino closed this Mar 28, 2024
apiraino added a commit that referenced this pull request Apr 16, 2024
This is a version of rust-lang#1786 that fixes the two following bugs:

There were 2 bugs:

1. the initial migration wasn't formatted correctly and the new schema changes weren't applied

2. The SELECT to find a reviewer would return wrong results when a team member had NULL in the table `review_prefs.max_assigned_prs`
apiraino pushed a commit that referenced this pull request Apr 16, 2024
…based-on-work-queue-take-2

PR assignment based on work queue availability (take #2)
apiraino added a commit that referenced this pull request Apr 16, 2024
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.

1 participant