Integration with the PR infrastructure.