That doesn't match how search works. Both live in one public search (open with Cmd/Ctrl+K or /): developer search finds people by name or GitHub username, and commit search finds posts by meaning, no @ needed.
Commit queries need 3 to 100 characters, cover replies too, and an AI…