Tony Piper: “Ok I PRd it https://github.com/nunomaduro/dev-null.sh/pull/8…”

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

19:09 · Oct 20, 2026commit a7efb53

Tom @tomOct 20

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

Commit