Is there a way for a program at the server to get the public key that the user used for ssh login?
For example, github knows that it's user "Ben" by searching the public key from their database.
ssh -T git@github.com Hi Ben! You've successfully authenticated, but GitHub does not provide shell access.
My question is how to get the public key then?