Re: [Numpy-discussion] Removing priority labels from github

2018-10-20 Thread Charles R Harris
On Sat, Oct 20, 2018 at 11:08 AM Charles R Harris wrote: > > > On Fri, Oct 19, 2018 at 2:10 PM Ralf Gommers > wrote: > >> >> >> On Fri, Oct 19, 2018 at 4:49 PM Stephan Hoyer wrote: >> >>> >>> >>> On Fri, Oct 19, 2018 at 2:22 AM Sebastian Berg < >>> sebast...@sipsolutions.net> wrote: >>> On

Re: [Numpy-discussion] Removing priority labels from github

2018-10-20 Thread Charles R Harris
On Fri, Oct 19, 2018 at 2:10 PM Ralf Gommers wrote: > > > On Fri, Oct 19, 2018 at 4:49 PM Stephan Hoyer wrote: > >> >> >> On Fri, Oct 19, 2018 at 2:22 AM Sebastian Berg < >> sebast...@sipsolutions.net> wrote: >> >>> On Fri, 2018-10-19 at 11:02 +0300, Matti Picus wrote: >>> > We currently have hi

Re: [Numpy-discussion] Removing priority labels from github

2018-10-19 Thread Ralf Gommers
On Fri, Oct 19, 2018 at 4:49 PM Stephan Hoyer wrote: > > > On Fri, Oct 19, 2018 at 2:22 AM Sebastian Berg > wrote: > >> On Fri, 2018-10-19 at 11:02 +0300, Matti Picus wrote: >> > We currently have highest, high, normal, low, and lowest priority >> > labels >> > for github issues/PRs. At the rece

Re: [Numpy-discussion] Removing priority labels from github

2018-10-19 Thread Stephan Hoyer
On Fri, Oct 19, 2018 at 2:22 AM Sebastian Berg wrote: > On Fri, 2018-10-19 at 11:02 +0300, Matti Picus wrote: > > We currently have highest, high, normal, low, and lowest priority > > labels > > for github issues/PRs. At the recent status meeting, we proposed > > consolidating these to a single "

Re: [Numpy-discussion] Removing priority labels from github

2018-10-19 Thread Sebastian Berg
On Fri, 2018-10-19 at 11:02 +0300, Matti Picus wrote: > We currently have highest, high, normal, low, and lowest priority > labels > for github issues/PRs. At the recent status meeting, we proposed > consolidating these to a single "high" priority label. Anything > "low" > priority should be mer