I reorged labels on Cabal's GitHub

Edward Z. Yang ezyang at mit.edu
Tue Jul 12 21:41:45 UTC 2016


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 <ezyang at mit.edu> 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.
> 


More information about the cabal-devel mailing list