Pull requests: cross-linking related PRs