web UI doesn't allow comparison between versions of a PR branch #999
Description
When you want to amend a pull request, you have a choice of two ways to do it:
- Push new commits on top of the head of the existing PR branch
- Force-push (
git push -f
) a new head to the PR branch, thereby rewriting history.
Unfortunately currently both have significant problems, as explained in this issue's siblings #997.
This issue is for tracking just one of the problems with the second (force-push) approach: if you amend PR branches via force-push, there is no way in the web UI to see the difference between the versions of the PR. (#997 and #998 document other, separate problems with this approach.)
This is in stark contrast to Gerrit which preserves every version of a patch set for every review.
There is a workaround but it is even less convenient than the workaround for #998, since you first have to use that workaround, and then use a standard approach for comparing two branches, either on the CLI or in your git-enabled IDE, or via GitHub's comparison feature.