-
Notifications
You must be signed in to change notification settings - Fork 77
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
Add webhook handler to update PR workload queues #1781
Add webhook handler to update PR workload queues #1781
Conversation
a906359
to
1153a33
Compare
1153a33
to
685e739
Compare
@jackh726 I've removed a lot of code ^^, now I have a better understanding. PR is ready for a first review when you have time. Thanks! |
e6d4d03
to
9c88e4b
Compare
3e6590b
to
e693127
Compare
thank you @GuillaumeGomez it looks much better now :) |
Co-authored-by: Guillaume Gomez <[email protected]>
e693127
to
1e7a875
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Looks good now!
@apiraino can you make a PR to rust-lang/rust to add the config option to the |
- Fix a wrong migration introduced in rust-lang#1781 - Clarify how DB migrations should be added to the triagebot
This is the third step to implement tracking the pull request workload designed in #1753
In this patch we enable handling GH webhooks when a PR is assigned or unassigned.