Re: [Question] Difference between "Feature" and "Feature request" labels in Github

2018-11-13 Thread Lin Yuan
Thanks guys for your prompt actions. I am so impressed´╝ü Lin On Tue, Nov 13, 2018 at 5:33 PM Sheng Zha wrote: > I was in the middle of transferring all items labeled with "Feature" to the > "Feature request" label when "Feature" label was deleted. I'm not sure who > deleted the "Feature" label

Re: [Question] Difference between "Feature" and "Feature request" labels in Github

2018-11-13 Thread Sheng Zha
I was in the middle of transferring all items labeled with "Feature" to the "Feature request" label when "Feature" label was deleted. I'm not sure who deleted the "Feature" label but it's gone now. -sz On Tue, Nov 13, 2018 at 5:05 PM Anirudh Acharya wrote: > This issue was raised before here -

Re: [Question] Difference between "Feature" and "Feature request" labels in Github

2018-11-13 Thread Acharya, Anirudh
Thanks for doing this. - Anirudh On Nov 13, 2018 5:25 PM, Sheng Zha wrote: Oh, I see. I was moving the other 80 or so, so it was probably a race-condition. Anyway, thanks for being eager to help. -sz On Tue, Nov 13, 2018 at 5:24 PM Naveen Swamy wrote: > done now, removed the feature label,

Re: [Question] Difference between "Feature" and "Feature request" labels in Github

2018-11-13 Thread Sheng Zha
Oh, I see. I was moving the other 80 or so, so it was probably a race-condition. Anyway, thanks for being eager to help. -sz On Tue, Nov 13, 2018 at 5:24 PM Naveen Swamy wrote: > done now, removed the feature label, there were 4 issues with that label > but also had Feature Request. > > On

Re: [Question] Difference between "Feature" and "Feature request" labels in Github

2018-11-13 Thread Naveen Swamy
done now, removed the feature label, there were 4 issues with that label but also had Feature Request. On Tue, Nov 13, 2018 at 5:05 PM Anirudh Acharya wrote: > This issue was raised before here - > >

Re: [Question] Difference between "Feature" and "Feature request" labels in Github

2018-11-13 Thread Naveen Swamy
there were a few more that had 'Feature' as label but didn't show up in the filter search, I manually applied the `Feature Request` on them On Tue, Nov 13, 2018 at 5:12 PM Naveen Swamy wrote: > done now, removed the feature label, there were 4 issues with that label > but also had Feature

Re: [Question] Difference between "Feature" and "Feature request" labels in Github

2018-11-13 Thread Anirudh Acharya
This issue was raised before here - https://lists.apache.org/thread.html/3e988e6bd82cb2d69ba20c21bf763952ed22a5732e61f6fba1f89ac8@%3Cdev.mxnet.apache.org%3E We need someone with committer privileges to fix it. Thanks Anirudh On Tue, Nov 13, 2018 at 4:36 PM Lin Yuan wrote: > Dear Community,

[Question] Difference between "Feature" and "Feature request" labels in Github

2018-11-13 Thread Lin Yuan
Dear Community, I often see there are "Feature" and "Feature request" labels in Github issues. May I know the difference? If they are meant to be the same thing, can we only keep one of them? Thanks, Lin