Custom labels for Github Issues

Anton, all,

Do we have a process to create custom labels for Github Issues? I’d like to create a “yarpgen” label to mark all issues found by running YARPGen, our random test generator tool. There are quite a few of them (more than a hundred) and having a label would help managing them and keeping track of new issues reported by other people running our tool.


I'm seeing only 2 open issues of this kind. What am I missing?

Yep, there only two of them that explicitly mention “yarpgen”, but there are much more of them not mentioning it explicitly.

Most of the issues filed by me (dbabokin) and Vsevolod-Livinskij are YARPGen issues. We’ll manually mark relevant issues with this label, if it’s approved and created.

We maintain a manually updated list of issues here: