An exercise in using git