IMP: keep showing linked PRs after a PR has been merged