Re: I reorged labels on Cabal's GitHub

2016-07-12 Thread John Alfred Nathanael Chee
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)

Re: I reorged labels on Cabal's GitHub

2016-07-12 Thread Edward Z. Yang
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

Re: I reorged labels on Cabal's GitHub

2016-07-12 Thread Oleg Grenrus
Great, it looks awesome. Issue template is great idea as well. (for ones who aren’t familiar: https://github.com/blog/2111-issue-and-pull-request-templates ) (I’m +1 for having GitHub stuff under .github/ directory) The issue

Re: I reorged labels on Cabal's GitHub

2016-07-12 Thread Edward Z. Yang
Excerpts from Oleg Grenrus's message of 2016-07-12 12:45:05 -0700: > > > On 12 Jul 2016, at 18:42, Edward Z. Yang wrote: > > > > Excerpts from Oleg Grenrus's message of 2016-07-12 04:03:43 -0700: > >> Looks good indeed! > >> > >> I have few questions: > >> - what is purpose of

Re: I reorged labels on Cabal's GitHub

2016-07-12 Thread Edward Z. Yang
For the PR, we can put in a checklist: [ ] If you made a BC-breaking change, did you add an entry to the changelog? [ ] If you added a new user-level feature, did you add an entry to the changelog? Did you write docs for it? [ ] If you added a new, public API function, did you add a

Re: I reorged labels on Cabal's GitHub

2016-07-12 Thread Mikhail Glushenkov
Hi, On 12 July 2016 at 23:58, Edward Z. Yang wrote: > For the PR, we can put in a checklist: > > [ ] If you made a BC-breaking change, did you add an entry to the > changelog? > [ ] If you added a new user-level feature, did you add an entry > to the changelog? Did you

Re: I reorged labels on Cabal's GitHub

2016-07-12 Thread Mikhail Glushenkov
Hi, On 12 July 2016 at 13:03, Oleg Grenrus wrote: > Looks good indeed! > > I have few questions: > - what is purpose of `paging:*` labels, to help people see issues they are > interested in? How it’s different from assignees (which can be multiple)? "Assignee" usually means

Re: I reorged labels on Cabal's GitHub

2016-07-12 Thread Oleg Grenrus
Looks good indeed! I have few questions: - what is purpose of `paging:*` labels, to help people see issues they are interested in? How it’s different from assignees (which can be multiple)? - why “bug” has “ezyang planning to delete this tag”. I’d prefer to have “type: bug” and other “type:*”

Re: I reorged labels on Cabal's GitHub

2016-07-12 Thread Edward Z. Yang
Excerpts from Oleg Grenrus's message of 2016-07-12 04:03:43 -0700: > Looks good indeed! > > I have few questions: > - what is purpose of `paging:*` labels, to help people see issues they are > interested in? How it’s different from assignees (which can be multiple)? Beyond what Mikhail stated:

Re: I reorged labels on Cabal's GitHub

2016-07-12 Thread Oleg Grenrus
> On 12 Jul 2016, at 18:42, Edward Z. Yang wrote: > > Excerpts from Oleg Grenrus's message of 2016-07-12 04:03:43 -0700: >> Looks good indeed! >> >> I have few questions: >> - what is purpose of `paging:*` labels, to help people see issues they are >> interested in? How it’s