Github setup notes

From mojo_puzzler
Jump to navigation Jump to search

Initial setup of account on a new machine. Change the first two commands to match your github account info.

$ git config --global user.name "mp_zero"

$ git config --global user.email [email protected]

$ git config --global init.defaultBranch main

$ git config --global core.editor "code --wait"

$ git config --global core.editor pull.rebase false

SSH key setup

$ ssh-keygen -t rsa -C "[email protected]"

$ ssh-add ~/.ssh/id_rsa

$ cat ~/.ssh/id_rsa

Copy and paste to https://github.com/settings/keys(you must be logged into your account)

Click "New SSH Key"

Leave "title" section blank

Paste into "key" section

Click "Add SSH key"

Test by running the following command:

$ ssh -T [email protected]

Download project to local file system

$ git clone [email protected]:geraldneale/py-chialisp-inner_outer.git

To push quick fix to Github

$ git add requirements.txt

$ git commit -m "Quick fix commit"

$ git push