Pull Request Decoration parameters Documentation

Hi there,

I use SonarQube 7.9.1 with GitHub pull request decoration feature.
I was wondering why the documentation does no longer state the parameters such as
“sonar.pullrequest.github.repository” ?

Those were present until the version 7.7: https://docs.sonarqube.org/7.7/analysis/pull-request/
but disappeared in later versions such as the 7.9: https://docs.sonarqube.org/7.9/analysis/pull-request/
In later version, it states to configure using the dashboard, which is something nobody should have to do in CI pipelines.

Is it a documentation problem?
Thank you very much for your help!