GitHub production pull (machine users)

README.md

GitHub production pull (machine users)

This README give steps in order to use GitHub machine users... 😎 In case of a first GitHub setup please refer to GitHub set up article.

/home/myuser/.ssh/
    |
    +-- config
    |
    +-- myusermachinekey
    |
    +-- myusermachinekey.pub

config file

# ~/.ssh/config

Host            github.com
IdentityFile    ~/.ssh/myusermachinekey

keys

Add public and private machine users keys in the ~/.ssh/ folder.

Test

You can check the config with the following command line: ssh -T [email protected].

$ ssh -T [email protected]

The authenticity of host 'github.com (207.97.227.239)' can't be established.
RSA key fingerprint is 16:27:ac:a5:76:28:2d:36:63:1b:56:4d:eb:df:a6:48.
Are you sure you want to continue connecting (yes/no)?

Hi username! You've successfully authenticated, but GitHub does not provide shell access.

Sources

• GitHub - Set up git
• GitHub - Generating SSH Keys
• GitHub - Managing deploy keys
• GitHub - Managing deploy keys : Machine users

License

MIT

Authors

Rémi Barbe (aka Remiii)