I am currently trying to setup the PR decorator for a project. I noticed in that in the settings under Administration > Pull Requests > Integration with GitHub, the description says:
To decorate a pull request on GitHub, specify a personal access token. If you are not using an extension which does it for you, you also have to set the project repository, and provide the base branch (sonar.pullrequest.base), the branch (sonar.pullrequest.branch) and the pull request number (sonar.pullrequest.key) at analysis time.
I couldn’t find any examples of any sort of extension that does this. What is this referring to?