...
- Close and reopen the pull request. This is the recommended approach, and only the contributor who owns the pull request can do this.
- Update the PR by pushing a new commit or amend the previous commit (git commit --amend). This is also recommended approach and only contributor who owns the pull request can do this.
- Any committer or PMC member (actually anyone who is part of 'apache' github organization) can trigger the job just by adding a comment with the magic phrases:
- 'retest ant build' in order to re run ANT based build
- 'retest maven build' in order to re run MAVEN based build
- phrase 'retest this please'. (Note for administrators: configuration of this phrase is these phrases are in the precommit Jenkins jobjobs, it is using the GitHub Pull Request builder plugin)
...