Am Dienstag, den 12.05.2020, 17:08 + schrieb Trevor:
> Jonas, you wrote 12/05/2020 14:49:27
>
> > Actually I think we should use milestones for this. They can be closed
> > and don't clutter the labels.
> > This comes with the disadvantage that there can be at most one
> > milestone set
Jonas, you wrote 12/05/2020 14:49:27
Actually I think we should use milestones for this. They can be closed
and don't clutter the labels.
This comes with the disadvantage that there can be at most one
milestone set (which you also get with the scoped labels). This is not
correct for some
