Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.
Sign upPR Details compares wrong version after pull #901
Closed
Labels
Comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
After a pull is carried out in the PR details view, comparing file contents show the diff from before the pull. Going back to the PR list and reopening the PR seems to fix it.