Search in GitLab

Simon Peyton Jones simonpj at
Mon Jun 15 09:48:59 UTC 2020

Does anyone know how to search better in GitLab.
Currently I'm using the standard GitLab search.  I'm searching for
where I intend the quotes meaning exactly that string as usual in a search term.  But I get lots of results mentioning loop, without the angle brackets.
Moreover I want to sort the results by date or ticket number, and I can't see how to do that.
Does Google index our repo?  Can I use Google to search it somehow?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the ghc-devs mailing list