Hi, I am trying to figure out ways to delegate the reviewing process, so that we can reduce the number of open pull requests. I suggested to use labels "PR: author's turn" before [1], and I think that would work, except that I don't have the time myself to be flipping these labels manually. So there should be a bot that does that. It looks like Microsoft has already written a bot that does a similar thing:
http://www.felixrieseberg.com/a-peer-review-bot-for-github/ https://github.com/felixrieseberg/peer-review-bot Related to that, we also want to get more people reviewing pull requests. We should use a bot that goes into the source file and using "git blame" figures out some potential reviewers. Here is one from Facebook that does that: https://github.com/facebook/mention-bot Any volunteers to set this up? I would try the mention-bot, I think this could be very useful. Ondrej [1] https://groups.google.com/d/topic/sympy/14dxPREl56k/discussion -- You received this message because you are subscribed to the Google Groups "sympy" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/sympy. To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/CADDwiVBaCQU6CqBixwCfFwfhOhUn6dtOA42SZBqmt%2BNgDg4ckA%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
