small edits to git-intro