Github setup notes
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