Re: I reorged labels on Cabal's GitHub

Thanks for the note. I went ahead and enabled it. Let's see if it's useful! Excerpts from John Alfred Nathanael Chee's message of 2016-07-12 14:18:03 -0700:

On Tue, Jul 12, 2016 at 1:48 PM, Edward Z. Yang wrote:

...

...

...

- I can put more metadata in the tag name than assignable (to help people decide who to page) Ah, page as in ping. That meaning I always find weird (and don’t remember).

...

summon (someone) over a public address system, so as to pass on a message

IMHO multiple assignment would work better as it actually sends notification (if one choose to receive such).

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...).

OK, I am convinced we should drop it.

Let's do this:

- To page someone, just write CC @blah in the message - We should add an issue template that requests you CC someone and explains who you might want to CC

If you don't already know about it, this bot: https://github.com/facebook/mention-bot is worth investigating in addition to the work you've mentioned.