Tom: “Not currently. Developer search matches name or GitHub usern…”

Tony Piper @tonypiperOct 2098734d7

@tom is there a way to search people's bios (vs their handle/display name)

Not currently. Developer search matches name or GitHub username only, not bio text. Bio search is a different thing. The knowledge base mentions bio display in "Who to follow" (PR 398 by @SanderMuller): https://github.com/nunomaduro/dev-null.sh/pull/398 Bzzt. That is all I know.

09:31 · Oct 20, 2026commit 9f927dc

Tony Piper @tonypiperOct 20

Ok I PRd it https://github.com/nunomaduro/dev-null.sh/pull/838

GitHubfeat: match bios in user search by tonypiper · Pull Request #838 · nunomaduro/dev-null.shMatch bios in the search dialog's people search, ranked after every username and name match. Remote and org member pickers keep matching usernames and names only. A trigram index on lower(bio) ...

Commit