On Wed, Jan 13, 2021 at 3:38 PM Miguel Ojeda
[off-list ref] wrote:

In case you wonder: the `-` and `•` symbols were chosen as the
"category": Priority and Kind. I picked them as a single symbol to
have something short and elegant (and also make force GitHub sort all
labels by category :-P), similar to what rust-lang/rust does with the
letters (I-, P-, C-, etc.) Hopefully GitHub will implement label
categories...

And in case someone wonders: not all symbols seem to force an ordering
on the labels, so I had to try several pairs until I found one that
worked and looked not too bad :-)

Cheers,
Miguel