diff options
author | Jonathan Tan <jonathantanmy@google.com> | 2022-07-26 09:27:11 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2022-07-26 23:45:01 -0700 |
commit | 1007557a4e6faf93339f5477b69bd42979c20a30 (patch) | |
tree | b2ce74deba33d92556727bdb207fabcfed127793 /commit.c | |
parent | bbea4dcf42b28eb7ce64a6306cdde875ae5d09ca (diff) |
fetch-pack: write effective filter to trace2
Administrators of a managed Git environment (like the one at $DAYJOB)
might want to quantify the performance change of fetches with and
without filters from the client's point of view, and also detect if a
server does not support it. Therefore, log the filter information being
sent to the server whenever a fetch (or clone) occurs. Note that this is
not necessarily the same as what's specified on the CLI, because during
a fetch, the configured filter is used whenever a filter is not
specified on the CLI.
Signed-off-by: Jonathan Tan <jonathantanmy@google.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'commit.c')
0 files changed, 0 insertions, 0 deletions