<div dir="ltr"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div class="gmail_default" style="font-family:tahoma,sans-serif">
<span class="gmail_default" style="font-family:tahoma,sans-serif"></span>I belive that the search bar at the top of<br>
<a href="https://gitlab.haskell.org/ghc/ghc/-/issues/" rel="noreferrer" target="_blank">https://gitlab.haskell.org/ghc/ghc/-/issues/</a> only searches the issues'<br>
title and description.
</div></div></blockquote><div><br></div><div><div style="font-family:tahoma,sans-serif" class="gmail_default">That is ... disappointing to say the least.</div><div style="font-family:tahoma,sans-serif" class="gmail_default"><br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div style="font-family:tahoma,sans-serif" class="gmail_default">
<span class="gmail_default" style="font-family:tahoma,sans-serif"></span>It is possible to search in comments via<br>
<a href="https://gitlab.haskell.org/search?group_id=2&project_id=1&scope=notes" rel="noreferrer" target="_blank">https://gitlab.haskell.org/search?group_id=2&project_id=1&scope=notes</a>.
</div></blockquote><div><br></div><div style="font-family:tahoma,sans-serif" class="gmail_default">Alas that interface has no way to sort by date or anything else -- as you say, not very useful.</div><div style="font-family:tahoma,sans-serif" class="gmail_default"><br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div style="font-family:tahoma,sans-serif" class="gmail_default">
<span class="gmail_default" style="font-family:tahoma,sans-serif"></span>Sadly, searching for "Haskeline" here turns up over 300 results and none<br>
of which are the ticket you are looking for
</div></blockquote><div><br></div><div style="font-family:tahoma,sans-serif" class="gmail_default">very very sadly</div><div style="font-family:tahoma,sans-serif" class="gmail_default"><br></div><div style="font-family:tahoma,sans-serif" class="gmail_default">These days, search is basically a solved problem. I wonder if Gitlab have any interest in picking up a solution and deploying it? It seems deeply sad that Gitlab should be so deficient here. When you have 20,000 tickets, search isn't optional any more .. it's a key tool.<br></div><div style="font-family:tahoma,sans-serif" class="gmail_default"><br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div style="font-family:tahoma,sans-serif" class="gmail_default">
I tend to use google with the extra keyword site:<a href="http://gitlab.haskell.org/ghc/ghc/-/issues" target="_blank">gitlab.haskell.org/ghc/ghc/-/issues</a>, as it often has better search results than gitlab itself. It doesn't work too well for very recent tickets though
</div></blockquote><div style="font-family:tahoma,sans-serif" class="gmail_default"><br></div><div style="font-family:tahoma,sans-serif" class="gmail_default">Yes: site:<a href="http://gitlab.haskell.org/ghc/ghc/-/issues">gitlab.haskell.org/ghc/ghc/-/issues</a> haskeline -fspecialize-aggressively doesn't find it. Not working well for recent tickets (this one is 2 weeks old) is a huge drawback.</div><div style="font-family:tahoma,sans-serif" class="gmail_default"><br></div><div style="font-family:tahoma,sans-serif" class="gmail_default">Boo. Thanks for responses though<br></div><div style="font-family:tahoma,sans-serif" class="gmail_default"><br></div><div style="font-family:tahoma,sans-serif" class="gmail_default">Simon</div><br></div><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, 24 Jan 2023 at 18:21, Ben Gamari <<a href="mailto:ben@smart-cactus.org">ben@smart-cactus.org</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">Simon Peyton Jones <<a href="mailto:simon.peytonjones@gmail.com" target="_blank">simon.peytonjones@gmail.com</a>> writes:<br>
<br>
> I keep finding that 'search' in Gitlab misses things.<br>
><br>
> Example<br>
> <a href="https://gitlab.haskell.org/ghc/ghc/-/issues/22715" rel="noreferrer" target="_blank">https://gitlab.haskell.org/ghc/ghc/-/issues/22715</a> mentions "Haskeline"<br>
> (just look on that page)<br>
><br>
> Yet when I go to<br>
> <a href="https://gitlab.haskell.org/ghc/ghc/-/issues/" rel="noreferrer" target="_blank">https://gitlab.haskell.org/ghc/ghc/-/issues/</a><br>
> and search for "Haskeline", this ticket isn't reported.<br>
><br>
> What am I doing wrong?<br>
><br>
<span class="gmail_default" style="font-family:tahoma,sans-serif"></span>I belive that the search bar at the top of<br>
<a href="https://gitlab.haskell.org/ghc/ghc/-/issues/" rel="noreferrer" target="_blank">https://gitlab.haskell.org/ghc/ghc/-/issues/</a> only searches the issues'<br>
title and description. However, in this particular ticket Haskeline is<br>
only mentioned in a comment.<br>
<br>
<span class="gmail_default" style="font-family:tahoma,sans-serif"></span>It is possible to search in comments via<br>
<a href="https://gitlab.haskell.org/search?group_id=2&project_id=1&scope=notes" rel="noreferrer" target="_blank">https://gitlab.haskell.org/search?group_id=2&project_id=1&scope=notes</a>.<br>
<span class="gmail_default" style="font-family:tahoma,sans-serif"></span>Sadly, searching for "Haskeline" here turns up over 300 results and none<br>
of which are the ticket you are looking for; I'm sure that the ticket is<br>
in the returned results somewhere, but I don't think this would be an<br>
efficient way to find it (although being able to sort the result set by<br>
date would make this much easier).<br>
<br>
For this reason I routinely edit issue labels and descriptions to ensure<br>
that they mention useful keywords. However, even then locating tickets<br>
can be challenging.<br>
<br>
Cheers,<br>
<br>
- Ben<br>
</blockquote></div></div>