p0
since 12/7/2021
3 karma
submissionscommentsfavorites
Senior Director of Engineering @ GitHub, responsible for CodeQL, code search, and code navigation