GitHub PR URLs can link to a commit of the PR, a comment or a review discussion.
Match the impl file name