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 (e.g. haskeline one as you mentioned), but otherwise it works for me.

Cheers,
Cheng

On Tue, Jan 24, 2023 at 7:22 PM 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
_______________________________________________
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs