To my knowledge, using the ssh script with code server gets your public keys from github, i think

curl https://github.com/<username>.keys

returns your publickeys that you have added to your GH account