Added "What git push pushes" and corrected "Push and pull" notes