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.
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: https://github.com/intel/yarpgen/blob/main/bugs.rst