some minor fixing of the documentation about git pull request