Pull request diff shows outdated diff

[rzhao271]

1. Accidentally push lines containing debug logs with the actual fix into a commit in a dev branch. Do not push.
2. Start creating a pull request, but check the diff. Notice the debug logs are in the diff.
3. Run git reset --soft HEAD~ in the terminal. Unstage the lines containing the debug logs using the SCM diff view.
4. Commit with the same commit message again by pressing the up arrow in the SCM commit message inputbox to get the last message.
5. Start creating a pull request again, but check the diff.
6. 🐛 The debug logs are still in the diff.
7. Create a draft PR and check the diff.
8. 🐛 The debug logs are still in the diff. GitHub shows the correct diff.

[alexr00]

This is weird. I could repro, but then after some time, with no intervention from me, it sopped reproing. We get the file contents from the built in git extension, and I think that it had stale state somehow.

[alexr00]

Nope, issue was that the file system provider didn't show that the modified time had changed.

[rzhao271]

I can still reproduce Steps 7 and 8. The pre-PR diff is now good, but the after-PR diff still shows outdated changes.