There's some intelligent guessing that could go on. When you "mention" a PR from another PR, I'm sure there's something in the GitHub API for that.