reflections on using git and github