Re: Correct way to perform a pull pull request?