Check for and offer to revert files changed during commit.

Files might be changed by a pre-commit hook or another session. In any case, if
the intent is to use the "Pull Request" flow and delete the feature branch,
there should be no need to keep those files around.