tools: add GitHub Action linter for pr-url
The PR URL is unknown when someone starts working on a change, they may be tempted to use a placeholder with a "fake" PR URL value to make the linter pass on their local machine. This commit adds warnings when a pr-url doesn't correspond to the actual PR URL to help reviewers spot those "fake" URLs before landing.