Add IDE/program labels to GitHub

[saidelike]

In order to differentiate issues that only appear in vscode or neovim or other IDE or program it would be nice to have the following labels

Using a prefix, similar to what we have for “lang-“ would be nice so we can see them all easily.

I propose:

ide-vscode
ide-neovim
etc.

but if some are not IDE we could use another prefix?

[pokey]

Sounds good to me. Do you have write access to this repo?

[saidelike]

I don't.

Another possible prefix is editor-.

[saidelike]

Or app-vscode, app-neovim

[pokey]

I'd go with ide. I guess the only reason to go with app is if eg we support chrome (outside of vscode web) / other non-ide apps. Cc/ @AndreasArvidsson any thoughts?

[saidelike]

Fwiw happy to go with ide and we can rename later anyway

[AndreasArvidsson]

app sound more general and therefore more future proof.

[pokey]

cool let's go with app-*. More future-proof, with no obvious drawbacks at present

[pokey]

labels created