add users with github ssh public keys