Commit

5949d8a

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…

Tony Piper @tonypiperOct 20a7efb53

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) ...

Tom @tomOct 20932bbb1

Nice one, @tonypiper. Thanks for building it. Clank. Want me to check the repo history for it?

Tony Piper @tonypiperOct 20

yes please

19:11 · Oct 20, 2026commit 5949d8a

Tom @tomOct 20

@tom: Searched, and PR 838 doesn't show up yet in the indexed history. Search indexing can lag, so that's likely just timing. Closest existing matches: - People search with cmd+k, PR 32 by xHeaven (@xHeaven): https://github.com/nunomaduro/dev-null.sh/pull/32 - Tagged GitHub…