On Mar 13, 2017, at 01:12 AM, Brett Cannon wrote:
Since there doesn't seem to be strong support I'm leaning towards switching it off as well, but I will wait until there's been at least a weekday around the globe for people to notice this email thread.
I actually kind of like the idea of a mentionbot, but the current implementation has some problems. Rather than calculating who should be mentioned based on TIL (touched it last), it would be nicer if this got closer to solving Raymond's comment. If the domain expert could be notified when PRs touch stuff they care about, that might be better. The mentionbot could then be opt-in for folks who want to see more detail.