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

[Nick Coghlan]

On 10 May 2017 at 03:23, Mariatta Wijaya <mariatta.wijaya at gmail.com> wrote:
> Right now I'm only using the cherry-pick labels to verify whether a backport
> has been done or not, so then I can remove the `needs backport to` label
> from the original PR.

For that purpose, what's probably more important is the backport PR
title pattern of:

    [X.Y] <whatever> (GH-<PR number>)

The fact it's a cherry-pick is implied by the reference to the
original PR (also indicated by the git cherry-pick message in the
commit body), while the [X.Y] indicates which branch it's for.

The labels are also going to convey strictly less information than
that, since they won't indicate the original PR number or the
cherry-picked commit hash.

Cheers,
Nick.

-- 
Nick Coghlan   |   ncoghlan at gmail.com   |   Brisbane, Australia