<div dir="ltr"><div>I tend to use google with the extra keyword site:<a href="http://gitlab.haskell.org/ghc/ghc/-/issues">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 (e.g. haskeline one as you mentioned), but otherwise it works for me.</div><div><br></div><div>Cheers,</div><div>Cheng<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, Jan 24, 2023 at 7:22 PM 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>
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>
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>
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>
_______________________________________________<br>
ghc-devs mailing list<br>
<a href="mailto:ghc-devs@haskell.org" target="_blank">ghc-devs@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a><br>
</blockquote></div>