moved toward using github as the source for ssh keys