<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">2016-06-21 11:35 GMT+02:00 Phil (list) <span dir="ltr"><<a href="mailto:pbpublist@gmail.com" target="_blank">pbpublist@gmail.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div id=":1jn" class="a3s aXjCH m155725041723485f">Searching for '<span class="il">OpenSmalltalk</span>' got me the GitHub repo as the 3rd result<br>
with Google. Since it's a new repo, perhaps it's still being added to<br>
the indexes and/or propagating out through their infrastructure and/or<br>
their algorithms are still deciding where it fits in the search<br>
results? GitHub can also take several days before new projects can be<br>
found via their search.</div></blockquote></div><br>Ok. I just checked that there is no incident option "not searchable"</div></div>