I belive that the search bar at the top of
https://gitlab.haskell.org/ghc/ghc/-/issues/ only searches the issues'
title and description.

That is ... disappointing to say the least.


Alas that interface has no way to sort by date or anything else -- as you say, not very useful.

Sadly, searching for "Haskeline" here turns up over 300 results and none
of which are the ticket you are looking for

very very sadly

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.

I tend to use google with the extra keyword site:gitlab.haskell.org/ghc/ghc/-/issues, as it often has better search results than gitlab itself. It doesn't work too well for very recent tickets though

Yes: site:gitlab.haskell.org/ghc/ghc/-/issues haskeline -fspecialize-aggressively doesn't find it.  Not working well for recent tickets (this one is 2 weeks old) is a huge drawback.

Boo.  Thanks for responses though

Simon

On Tue, 24 Jan 2023 at 18:21, Ben Gamari <ben@smart-cactus.org> wrote:
Simon Peyton Jones <simon.peytonjones@gmail.com> writes:

> I keep finding that 'search' in Gitlab misses things.
>
> Example
> https://gitlab.haskell.org/ghc/ghc/-/issues/22715 mentions "Haskeline"
> (just look on that page)
>
> Yet when I go to
> https://gitlab.haskell.org/ghc/ghc/-/issues/
> and search for "Haskeline", this ticket isn't reported.
>
> What am I doing wrong?
>
I belive that the search bar at the top of
https://gitlab.haskell.org/ghc/ghc/-/issues/ only searches the issues'
title and description. However, in this particular ticket Haskeline is
only mentioned in a comment.

It is possible to search in comments via
https://gitlab.haskell.org/search?group_id=2&project_id=1&scope=notes.
Sadly, searching for "Haskeline" here turns up over 300 results and none
of which are the ticket you are looking for; I'm sure that the ticket is
in the returned results somewhere, but I don't think this would be an
efficient way to find it (although being able to sort the result set by
date would make this much easier).

For this reason I routinely edit issue labels and descriptions to ensure
that they mention useful keywords. However, even then locating tickets
can be challenging.

Cheers,

- Ben