I did (f007df9). Do I need to do anything in the pull request, to make sure when it is merged then the last commit is merged?