Thoughts on git from Udacity course ‘How to Use Git and GitHub’