logoalt Hacker News

stevekempyesterday at 3:48 PM0 repliesview on HN

Github has public keys available, so the server owner could compare the key you sent to those - and that would identify your github username.

Whether that's a concern or not is an open question, of course.