Tool to manage user server SSH authorized keys from GitHub public keys
github.com