A gentle introduction to git and GitHub