git: GitHub – add ssh keys

While we do not support the use of GitHub as of the sale to MS, these instructions are part of a workshop for git (not GitHub specific). However, yes. these instructions are for github. Try GitLab or your own git server… even SVN. Use CVS! Forget this proprietary stuff.