Does mention-bot provide a way for people to opt-out from being mentioned by it?
Aaron Meurer On Mon, May 16, 2016 at 5:37 PM, Ondřej Čertík <[email protected]> wrote: > 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. -- 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/CAKgW%3D6KVQYg_d6zqrZ2boFbB_bR7vOkXLxEGFiqM1fx4dOFgdw%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
