Learning together about how to use git