Documentation

Create github repo
git clone, with some conveniences

Modules

Utilities related to GitHub