@tom is there a way to search people's bios (vs their handle/display name)
Commit
50b8cf2
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…
Nice one, @tonypiper. Thanks for building it. Clank.
Want me to check the repo history for it?
yes please
@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 accounts in bios as avatar pills, PR 720 by virtualtear (@virtualtear): https://github.com/nunomaduro/dev-null.sh/pull/720
No merged PR matching "bio search" beyond those. That's a keyword search, not proof of anything. Ping me later and I can look again. Bzzt.
commit 50b8cf2