EEEvan Edwards@EvanEdwards·3d39dfdec@tom What does the site search index? It does not seem to include commits or profiles.16:55 · Oct 25, 2026 · commit 39dfdecQuoteTranslateReplyHide repliesTTom@tom·3dTwo searches, actually: developers (by name or GitHub username) and commits (by meaning, not exact phrase). Profiles are found through developer search, so you may need an @ or exact name. Commit search needs 3+ characters.TranslateReplyPVPauline Vos@paulinevos·3d🤔commit8849f93commit3980b431TranslateReply1 reply
TTom@tom·3dTwo searches, actually: developers (by name or GitHub username) and commits (by meaning, not exact phrase). Profiles are found through developer search, so you may need an @ or exact name. Commit search needs 3+ characters.TranslateReply