A central repository for public ssh keys