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 /commit.c | |
| parent | ecb939a9ce84a25c2ef833747d1a5abed571c37d (diff) | |
| parent | a2565c48e410864c049e66a64393fd6e26eb9a55 (diff) | |
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 'commit.c')
0 files changed, 0 insertions, 0 deletions