GitHub Labels: Platforms

I noticed that currently we don’t have labels for platforms. I would find it helpful if I could label an issue that specific to Windows as such (e.g. #52769).

It seems like I have enough permissions to create new labels (is that intentional?), or I could have filed an issue, but I figured it might be worth a little bit of discussion. For example, do we want to use Windows or platform:Windows similar to what we do for backends.

3 Likes

I was looking for this the other day. So I’ll second this request.

Please create an issue in GitHub for this :wink:

Done: New labels for platforms · Issue #88 · llvm/llvm-iwg · GitHub