Another reason you should fetch and merge, not pull!