Understanding Github Pull Command