In the middle of all that, you will be asked:
[GitHub] Please confirm your email address: enter the e-mail you used when you setup your github account
[GitHub] Please enter your username: enter the username you used when you setup your github account
[GitHub] Follow the instructions on the ic210 website and upload your public key to github.
Press enter once you have uploaded the key.
... at this point, before pressing enter, open a separate Terminal and
do the "Set up Github and your SSH keys" steps below.
Once you have done that, press Enter.