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

[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? I realize they
are somewhat redundant when we are also adding the title part. The labels
are also a friction point with cherry-picker.py as the script can't set
those automatically like it can the PR title. So I'm thinking that maybe we
should drop the labels? Anyone have an opinion or want to say if they use
the labels and how they use them?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.python.org/pipermail/core-workflow/attachments/20170508/c0c3438e/attachment.html>