diff options
author | Jonathan Tan <jonathantanmy@google.com> | 2021-08-17 00:09:56 +0300 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2021-09-08 21:48:05 +0300 |
commit | 0693806bf82fb76347e226d8fc5e69077c0a3df5 (patch) | |
tree | b584ca85d7876dc390c4be149afee6a3af5dfbee /config.h | |
parent | dd45471a3717bcd6561e405371b81928214ad1b5 (diff) |
grep: add repository to OID grep sources
Record the repository whenever an OID grep source is created, and teach
the worker threads to explicitly provide the repository when accessing
objects.
Signed-off-by: Jonathan Tan <jonathantanmy@google.com>
Reviewed-by: Matheus Tavares <matheus.bernardino@usp.br>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'config.h')
0 files changed, 0 insertions, 0 deletions