<html>
<head>
<meta http-equiv="Content-Type" content="text/html;
charset=windows-1252">
</head>
<body>
<p>> Does Google index our repo? Can I use Google to search it
somehow?<br>
<br>
In google you can type:<br>
</p>
<pre> site:gitlab.haskell.org "<<loop>>"
</pre>
<p>Cheers,<br>
Sylvain<br>
</p>
<p><br>
</p>
<div class="moz-cite-prefix">On 15/06/2020 11:48, Simon Peyton Jones
via ghc-devs wrote:<br>
</div>
<blockquote type="cite"
cite="mid:VI1PR8303MB00935A26AB680B44F4933D25AD9C0@VI1PR8303MB0093.EURPRD83.prod.outlook.com">
<meta http-equiv="Content-Type" content="text/html;
charset=windows-1252">
<meta name="Generator" content="Microsoft Word 15 (filtered
medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin-top:6.0pt;
margin-right:0cm;
margin-bottom:6.0pt;
margin-left:0cm;
font-size:11.0pt;
font-family:"Calibri",sans-serif;
mso-fareast-language:EN-US;}
span.EmailStyle18
{mso-style-type:personal-compose;
font-family:"Calibri",sans-serif;
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;
font-family:"Calibri",sans-serif;
mso-fareast-language:EN-US;}
.MsoPapDefault
{mso-style-type:export-only;
margin-top:6.0pt;
margin-right:0cm;
margin-bottom:6.0pt;
margin-left:0cm;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:72.0pt 72.0pt 72.0pt 72.0pt;}
div.WordSection1
{page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
<div class="WordSection1">
<p class="MsoNormal">Does anyone know how to search better in
GitLab.<o:p></o:p></p>
<p class="MsoNormal">Currently I’m using the standard GitLab
search. I’m searching for<o:p></o:p></p>
<p class="MsoNormal" style="margin-left:36.0pt">“<<loop>>”<o:p></o:p></p>
<p class="MsoNormal">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.<o:p></o:p></p>
<p class="MsoNormal">Moreover I want to sort the results by date
or ticket number, and I can’t see how to do that.<o:p></o:p></p>
<p class="MsoNormal">Does Google index our repo? Can I use
Google to search it somehow?<o:p></o:p></p>
<p class="MsoNormal">Thanks<o:p></o:p></p>
<p class="MsoNormal">Simon<o:p></o:p></p>
</div>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<pre class="moz-quote-pre" wrap="">_______________________________________________
ghc-devs mailing list
<a class="moz-txt-link-abbreviated" href="mailto:ghc-devs@haskell.org">ghc-devs@haskell.org</a>
<a class="moz-txt-link-freetext" href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a>
</pre>
</blockquote>
</body>
</html>