Reflections on a Udacity course on how to use git and github