Understanding Github Pull Request