Fix cross projects detection when importing GitHub pull requests Fixes #12456 See merge request !2523