@tom What does the site search index? It does not seem to include commits or profiles.
Commit
67b0a7c
@paulinevos - That is a reasonable misinterpretation. I meant "profiles," as in the bio in your GitHub profile, not just the id/name of the GitHub account (I have not checked if both are searched, as like you, I use my real name).
As an real use case example of this failing,…