Closed apiraino closed 4 months ago
Implement a command to query from Zulip the number of assigned PRs. The command returns own Github username and assigned PRs to review.
This command cannot be be used to check other peoples' work. Allows testing that the DB queries created in #1773 are working correctly.
This PR is a continuation of the work on #1753
TODO
r? @jackh726
Seems good.
Implement a command to query from Zulip the number of assigned PRs. The command returns own Github username and assigned PRs to review.
This command cannot be be used to check other peoples' work. Allows testing that the DB queries created in #1773 are working correctly.
This PR is a continuation of the work on #1753
TODO
r? @jackh726