Search in GitLab

[Simon Peyton Jones]

Does anyone know how to search better in GitLab.
Currently I'm using the standard GitLab search.  I'm searching for
"<<loop>>"
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?
Thanks
Simon
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20200615/8c9a59cc/attachment-0001.html>