Add notes for committing, pushing, and pulling in git introduction.md