This actually came up during our last retrospective as way to perhaps increase reviewer traffic to PRs. So another +1 to trying it out.
David On Tue, Oct 11, 2016 at 1:42 PM, Eric D Helms <ericdhe...@gmail.com> wrote: > > > On Tue, Oct 11, 2016 at 11:15 AM, Greg Sutcliffe <greg.sutcli...@gmail.com > > wrote: > >> We've spoken before about increasing the pool of reviewers, and one issue >> is the increasingly large amount of notification email (especially if you >> subscribe to a lot of our repos). >> >> So I was browsing some other repos today and stumbled upon this: >> >> https://github.com/facebook/mention-bot >> >> It's basically a tool to figure out who might be good reviewers for a >> pull request, and mention them by name so that they get a notification. >> This allows people to get a heads-up on repos they're not subscribed to, >> but have contributed to. >> >> Worth enabling on a few repos and giving it a try? >> > > +1 I'm all for experimentation. If it doesn't work or is annoying we can > always shut'er down. > > > Eric > > >> >> Cheers >> -- >> Greg >> IRC: gwmngilfen >> >> -- >> You received this message because you are subscribed to the Google Groups >> "foreman-dev" group. >> To unsubscribe from this group and stop receiving emails from it, send an >> email to foreman-dev+unsubscr...@googlegroups.com. >> For more options, visit https://groups.google.com/d/optout. >> > > > > -- > Eric D. Helms > Red Hat Engineering > Ph.D. Student - North Carolina State University > > -- > You received this message because you are subscribed to the Google Groups > "foreman-dev" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to foreman-dev+unsubscr...@googlegroups.com. > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "foreman-dev" group. To unsubscribe from this group and stop receiving emails from it, send an email to foreman-dev+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
