diff options
author | Junio C Hamano <gitster@pobox.com> | 2019-06-17 10:15:15 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2019-06-17 10:15:15 -0700 |
commit | 63b6b4b7e107d5b40620d0b3dc3efff0284dfb7b (patch) | |
tree | 57735557a3950c3dcba0f3d8c8aedb705c2ff63e /path.c | |
parent | Merge branch 'es/grep-require-name-when-needed' (diff) | |
parent | server-info: do not list unlinked packs (diff) | |
download | tgif-63b6b4b7e107d5b40620d0b3dc3efff0284dfb7b.tar.xz |
Merge branch 'ew/server-info-remove-crufts'
"git update-server-info" used to leave stale packfiles in its
output, which has been corrected.
* ew/server-info-remove-crufts:
server-info: do not list unlinked packs
Diffstat (limited to 'path.c')
0 files changed, 0 insertions, 0 deletions