IMP: flag detached PRs in their dashboard