how to find the github handle of a person QUICKLY?

Question

Is there a quick way to find the handle of a github user when I want to ping him with @? I know I can use https://github.com/search?q=...&type=users