Tool to manage user server SSH authorized keys from GitHub public keys | Dark Hacker News