Searching tickets

Cheng Shao terrorjack at type.dance
Tue Jan 24 18:25:07 UTC 2023


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 at smart-cactus.org> wrote:

> Simon Peyton Jones <simon.peytonjones at 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 at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20230124/e534cc81/attachment.html>


More information about the ghc-devs mailing list