using git: more on pull requests