pull-requests: log a mismatch of name changed during a display of a PR....
pull-requests: log a mismatch of name changed during a display of a PR.
If long-living PR was altered that the names of repo doesn't match anymore, we'll show a warning instead of silent 404.
