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 <b...@smart-cactus.org> wrote: > Simon Peyton Jones <simon.peytonjo...@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 >
_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
