Creating a GitHub repository

This post is a part of a (planned) series on “Collaborative Coding with GitHub”, a workshop that I’ve given several times at EPFL (through…