Zulip Chat Archive
Stream: Zulip meta
Topic: PR reviews
Wrenna Robson (Jul 05 2022 at 08:20):
Is it considered good practice to post about every PR we have to review in #PR reviews?
Eric Wieser (Jul 05 2022 at 08:26):
I think usually posts there are either for PRs that either:
- Generated extended discussion and need wider input
- Have seemingly been forgotten about
- Are on a particularly notable topic that people might be interested in knowing has been worked on
Wrenna Robson (Jul 05 2022 at 08:33):
Thanks. I'm trying to avoid having too many PRs "in flight" at once but they are slowly growing, so I wanted to understand better how to manage that workflor.
Wrenna Robson (Jul 05 2022 at 08:34):
(Thank you for the review on the couple I just sent in...)
Wrenna Robson (Jul 05 2022 at 08:37):
I've been updating all my extant ones this morning in the hope that I can get some resolved.
Last updated: Dec 20 2023 at 11:08 UTC