 Paul Daniel Faria
|
48419b9fd5
Add retry logic when hitting rate-limits
|
4 жил өмнө |
 Santiago Pastorino
|
23589c70ce
Automate Prioritization meeting
|
5 жил өмнө |
 Mark Rousskov
|
5993b99d41
Query specific commit, not master
|
5 жил өмнө |
 LeSeulArtichaut
|
e0913dcdcb
Add Prioritization-WG members to the rust team members
|
5 жил өмнө |
|
Mark Rousskov
|
2822adc8be
Publish rustc bors commit list
|
5 жил өмнө |
|
Mark Rousskov
|
5d11530937
Remove prioritization on de-labeling issues as well
|
5 жил өмнө |
|
Mark Rousskov
|
9963dc8607
Act on issue being labeled for prioritization
|
5 жил өмнө |
|
Mark Rousskov
|
12a2b3cb58
Move team-data API access to separate module
|
5 жил өмнө |
|
Mark Rousskov
|
2ffdd34d64
PRs can be "synchronized" as well
|
5 жил өмнө |
|
Mark Rousskov
|
95b3d0927e
Fix extracting repo/org from comments URL
|
5 жил өмнө |
|
Mark Rousskov
|
ae69dd2787
Handle pull request events as issue events
|
5 жил өмнө |
|
Mark Rousskov
|
4ef3ae95f5
serde's default does not do what we expected for null
|
5 жил өмнө |
|
Mark Rousskov
|
1685ef5f4e
Pull request review bodies may be null
|
5 жил өмнө |
|
Mark Rousskov
|
24112cf8aa
Do not expect repository_url in pull_request
|
5 жил өмнө |
|
Mark Rousskov
|
ac1115e201
Handle pull request review events as well
|
5 жил өмнө |
|
Mark Rousskov
|
3935511b96
Handle pull request review comments
|
5 жил өмнө |
|
Mark Rousskov
|
2e17bbc20c
Store an optional short description
|
5 жил өмнө |
|
Mark Rousskov
|
e213af21d5
Use team api for mapping Zulip IDs
|
5 жил өмнө |
|
Mark Rousskov
|
0c421a82d7
Implement acknowledging notifications
|
5 жил өмнө |
|
Mark Rousskov
|
05948adfb4
Record notifications into database
|
5 жил өмнө |
|
Mark Rousskov
|
f5e64029f5
Move to reqwest 0.10
|
5 жил өмнө |
|
Mark Rousskov
|
df4e28474b
Move to anyhow from failure
|
5 жил өмнө |
|
Mark Rousskov
|
ba87af0cfa
Add nominate command
|
5 жил өмнө |
|
Mark Rousskov
|
4093dbedb9
Implement ping command
|
5 жил өмнө |
|
Mark Rousskov
|
f5c49351a8
Update to more recent nightly
|
5 жил өмнө |
|
Mark Rousskov
|
185584385a
Handle request errors in Err branch
|
5 жил өмнө |
|
Mark Rousskov
|
e772bd9120
Treat assign command as `r?` on PRs
|
5 жил өмнө |
|
Mark Rousskov
|
09a68bc297
Add more logging calls across the board
|
5 жил өмнө |
|
Mark Rousskov
|
33f4bc9dda
Move to async/await and hyper
|
5 жил өмнө |
|
Mark Rousskov
|
509b551149
Consider wg-triage members full rust team members
|
5 жил өмнө |
