Use the PR URL in push CI report
# What does this PR do?

In the push CI report, change the URL from the (merged) commit page to the PR page (if that commit comes from a PR).
_The documentation is not available anymore as the PR was closed or merged._