<div dir="ltr">Yep, there only two of them that explicitly mention "yarpgen", but there are much more of them not mentioning it explicitly.<div><br></div><div>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.</div><div><br></div><div>We maintain a manually updated list of issues here: <a href="https://github.com/intel/yarpgen/blob/main/bugs.rst">https://github.com/intel/yarpgen/blob/main/bugs.rst</a></div><div><br></div><div>Dmitry.</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, Dec 13, 2021 at 11:30 AM Anton Korobeynikov <<a href="mailto:anton@korobeynikov.info">anton@korobeynikov.info</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">I'm seeing only 2 open issues of this kind. What am I missing?<br>
<br>
<a href="https://github.com/llvm/llvm-project/issues?q=is%3Aissue+is%3Aopen+yarpgen" rel="noreferrer" target="_blank">https://github.com/llvm/llvm-project/issues?q=is%3Aissue+is%3Aopen+yarpgen</a><br>
<br>
On Mon, Dec 13, 2021 at 10:19 PM Dmitry Babokin <<a href="mailto:babokin@gmail.com" target="_blank">babokin@gmail.com</a>> wrote:<br>
><br>
> Anton, all,<br>
><br>
> 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.<br>
><br>
> Dmitry.<br>
<br>
<br>
<br>
-- <br>
With best regards, Anton Korobeynikov<br>
Department of Statistical Modelling, Saint Petersburg State University<br>
</blockquote></div>