diff options
| author | Patrick Steinhardt <ps@pks.im> | 2026-07-16 07:33:03 +0200 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2026-07-16 07:40:21 -0700 |
| commit | af57f7361d51ad76bead03829c6b1618a0c8adbb (patch) | |
| tree | 602e264c6895484a31d2c8db66987884a11884fa /t/t4013/diff.diff_initial..side | |
| parent | 5abbd7c3a2e0b484e23377ae405af2b282286274 (diff) | |
refs/files: drop `USE_THE_REPOSITORY_VARIABLE`
We have a bunch of users of `the_repository` in the "files" backend, all
of which are trivial to convert to instead use the backend's own repo.
Do so.
There is one more dependency on global state though via `ignore_case`,
and thus we can't trivially remove `USE_THE_REPOSITORY_VARIABLE`. But
this is the only use of global state, and we want to ensure that we
don't unwittingly reintroduce a dependency on `the_repository` going
forward.
Add an extern declaration for `ignore_case` so that it becomes
accessible even without `USE_THE_REPOSITORY_VARIABLE` and drop the
define itself.
Signed-off-by: Patrick Steinhardt <ps@pks.im>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 't/t4013/diff.diff_initial..side')
0 files changed, 0 insertions, 0 deletions
