Karl Fogel at
In @GitHub PR review UI, I wish the commits list and overall diff
weren't separate. What I'd love is a page with the individual commits
metadata at the top (author, date, commit ID, list of changed files),
then a single overall diff below that covering all of those commits.