diff options
| author | Martin Schwaighofer <mschwaig@users.noreply.github.com> | 2021-12-13 21:31:20 +0100 |
|---|---|---|
| committer | Martin Schwaighofer <mschwaig@users.noreply.github.com> | 2022-02-19 22:58:23 +0100 |
| commit | c7e527b82b3dafed5f0da2ec0e14a47cf8e65def (patch) | |
| tree | 97efcf796b1ce9c590e78514a59c17f2fc0379f8 /.github/stale.yml | |
| parent | 0bfa0cdea1b4eb09405e35b338887c91a041d28c (diff) | |
git fetcher: invoke diff instead of diff-index
diff-index operates on the view that git has of the working tree,
which might be outdated. The higher-level diff command does this
automatically. This change also adds handling for submodules.
fixes #4140
Alternative fixes would be invoking update-index before diff-index or
matching more closely what require_clean_work_tree from git-sh-setup.sh
does, but both those options make it more difficult to reason about
correctness.
Diffstat (limited to '.github/stale.yml')
0 files changed, 0 insertions, 0 deletions