Re: Label, project, or milestone

On Wed, Feb 13, 2019 at 8:28 AM Florian Rivoal <florian@rivoal.net> wrote:

> During the call today, I proposed using Github Projects instead of Github
> Labels to triage bugs into things we want to address during Process 2020 vs
> things we've agreed to defer to Process 2021. Chris (and a few others I
> think) suggested that maybe we should use Github Milestones instead.
>
> I hadn't used them before, so I was a bit caught off guard, but having
> though about it, that makes sense to me.
>
> Does anyone want to defend the use of Labels for this kind of triaging?
>
> —Florian
>