Assign labels with spaces

[steffahn]

relevant Zulip discussion (in the archive)

On my quest to find a way to self-label I-unsound 💥 I’m getting the feeling that rustbot doesn’t offer any way at all to set labels that contain any spaces. From my limited understanding of the source code it looks like the tokenizer understands quoted strings, but the labels parser doesn’t allow such quoted strings for the label name. I would’ve expected something like @rustbot label "I-unsound 💥" to work, but it doesn’t currently work. There’s also the relevant question on whether @rustbot label -"I-unsound 💥" or @rustbot label "-I-unsound 💥" or both options would be the way to remove the label again.

[nikomatsakis]

I'm tempted to say the problem is the label name :)

[nikomatsakis]

Or, alternatively, maybe we could load the labels and strip off trailing emojis and whitespace? it'd be nice if you could just type I-unsound.

[steffahn]

The label was already renamed ;-), so the concrete problem for the rust repository is gone.

[steffahn]

Might be useful to do the whitespace+emoji stripping if there is demand for having the 💥 back.

[nikomatsakis]

Seems like we can close this issue, then?

[steffahn]

I suppose we can.