Nice. For anyone interested, here's how to do location-based user searching in github: https://github.com/search?type=Users&language=&q=loc...