<div dir="auto">We can do that but not all developers use a KDE email address.</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, 19 Jan 2023, 9:15 pm AnnoyingRains, <<a href="mailto:annoyingrain5@gmail.com">annoyingrain5@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="auto">Actually, what if we just ignore reports that come from a *@<a href="http://kde.org" target="_blank" rel="noreferrer">kde.org</a> email address?</div><div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, 19 Jan 2023 at 9:42 pm, Justin Zobel <<a href="mailto:justin.zobel@gmail.com" target="_blank" rel="noreferrer">justin.zobel@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;padding-left:1ex;border-left-color:rgb(204,204,204)"><div dir="auto">I'll have a look when I'm back at my PC and see if I can exclude bugs reported by you.</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, 19 Jan 2023, 8:57 pm Harald Sitter, <<a href="mailto:sitter@kde.org" target="_blank" rel="noreferrer">sitter@kde.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;padding-left:1ex;border-left-color:rgb(204,204,204)">On Thu, Jan 19, 2023 at 4:05 AM Justin <<a href="mailto:justin.zobel@gmail.com" rel="noreferrer noreferrer" target="_blank">justin.zobel@gmail.com</a>> wrote:<br>
> The gardening team aims to find out if the bug reports are still<br>
> relevant by involving the users who reported them in determining if they<br>
> are still valid.<br>
<br>
FWIW that probably doesn't work nearly as well as one would hope when<br>
the user is a developer. I for one just ignore the entire flood of<br>
ping comments. I'm 99% certain bugs I have reported have been closed<br>
as collateral damage.<br>
<br>
HS<br>
</blockquote></div>
</blockquote></div></div>
</blockquote></div>