Instructions for setting up GitHub properly, continued