[core-workflow] Are the "cherry-pick for *" labels on GitHub useful?

2017-05-08 Thread Brett Cannon
Enough people who work on CPython still use email that instead of just using labels to flag PRs as cherry-picks we also edit the title, e.g. a 3.6 cherry-pick will have both a "cherry-pick for 3.6" label and "[3.6]" prepended to the title. My question is whether anyone is actually using the labels

Re: [core-workflow] Are the "cherry-pick for *" labels on GitHub useful?

2017-05-08 Thread Nick Coghlan
On 9 May 2017 at 07:42, Brett Cannon wrote: > Enough people who work on CPython still use email that instead of just using > labels to flag PRs as cherry-picks we also edit the title, e.g. a 3.6 > cherry-pick will have both a "cherry-pick for 3.6" label and "[3.6]" > prepended to the title. > > My