Anyone using GitHub as a public key repository? I found it very convenient to set up a cron job that pulls https://github.com/USERNAME.keys into authorized_keys and SSH from any client that has GitHub access.