You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Currently, a checked out PR shows diffs between the base branch and your git working tree (basically your files on disk). We should offer a way to change this diff to be between the base branch and the remote head branch of the PR.
Some implications:
This would mean that right side of the diff, which is currently editable, would be read only (at least when this is different from the file on disk).
This might cause problems with the quick diff (investigation needed).
@hediet FYI and thanks for continuously providing feedback!
The text was updated successfully, but these errors were encountered:
alexr00
changed the title
Allow checked-ed out PRs to show diffs only against PR head
Allow checked out PRs to show diffs only against PR head
May 17, 2023
Currently, a checked out PR shows diffs between the base branch and your git working tree (basically your files on disk). We should offer a way to change this diff to be between the base branch and the remote head branch of the PR.
Some implications:
@hediet FYI and thanks for continuously providing feedback!
The text was updated successfully, but these errors were encountered: