tools: add GitHub Action linter for pr-url #37221
+46
−0
Merged
8000