diff options
author | Junio C Hamano <gitster@pobox.com> | 2022-03-23 14:09:30 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2022-03-23 14:09:30 -0700 |
commit | bfce3e7b9290a8fe8c4ffc97d6b1e60e041db4f1 (patch) | |
tree | 09dfb2333e77c6813e03e6d7ed0b9eb9ae76dafe /advice.h | |
parent | Merge branch 'ds/doc-maintenance-synopsis-fix' (diff) | |
parent | repack: add config to skip updating server info (diff) | |
download | tgif-bfce3e7b9290a8fe8c4ffc97d6b1e60e041db4f1.tar.xz |
Merge branch 'ps/repack-with-server-info'
"git repack" learned a new configuration to disable triggering of
age-old "update-server-info" command, which is rarely useful these
days.
* ps/repack-with-server-info:
repack: add config to skip updating server info
repack: refactor to avoid double-negation of update-server-info
Diffstat (limited to 'advice.h')
0 files changed, 0 insertions, 0 deletions