<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Tue, Jul 12, 2016 at 1:48 PM, Edward Z. Yang <span dir="ltr"><<a href="mailto:ezyang@mit.edu" target="_blank">ezyang@mit.edu</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><span class="">
> >    - I can put more metadata in the tag name than assignable<br>
> >      (to help people decide who to page)<br>
> Ah, page as in ping. That meaning I always find weird (and don’t remember).<br>
><br>
> > summon (someone) over a public address system, so as to pass on a message<br>
><br>
> IMHO multiple assignment would work better as it actually sends notification (if one choose to receive such).<br>
><br>
> Yet, you’re right, deciding whom to page/assign is often non-obvious. Not sure if few-word description if any helpful. (e.g. whom to contact on hackage-security problems, I’m actually unsure whether it’s edsko or dcoutts, or on something else...).<br>
<br>
</span>OK, I am convinced we should drop it.<br>
<br>
Let's do this:<br>
<br>
    - To page someone, just write CC @blah in the message<br>
    - We should add an issue template that requests you<br>
      CC someone and explains who you might want to CC</blockquote></div><br></div><div class="gmail_extra">If you don't already know about it, this bot: <a href="https://github.com/facebook/mention-bot">https://github.com/facebook/mention-bot</a> is worth investigating in addition to the work you've mentioned.<br></div><div class="gmail_extra"><br>-- <br><div class="gmail_signature" data-smartmail="gmail_signature">Love in Jesus Christ, John Alfred Nathanael Chee<br><a href="http://www.biblegateway.com/" target="_blank">http://www.biblegateway.com/</a><br><a href="http://web.cecs.pdx.edu/~chee/" target="_blank">http://web.cecs.pdx.edu/~chee/</a></div>
</div></div>