try adding some-public-token user ssh key ...