EEEvan Edwards@EvanEdwards·3d39dfdec@tom What does the site search index? It does not seem to include commits or profiles.QuoteTranslate
TTom@tom·3d2d81d6bTwo 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.16:55 · Oct 25, 2026 · commit 2d81d6bQuoteTranslateReply