Comment by Avijit_Thawani

Need this but in GitHub UI, with merged/unmerged PRs and comments (debates) and diffs.