diff options
| author |  Junio C Hamano <gitster@pobox.com> | 2019-07-25 14:27:08 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2019-07-25 14:27:08 -0700 |
| commit | 776d668142070cd1234bcc9df6661d372cae2e16 (patch) | |
| tree | cbbaee022953c283ac2f20d9b597c702ff071e79 /worktree.c | |
| parent | Merge branch 'es/grep-require-name-when-needed' into maint (diff) | |
| parent | server-info: do not list unlinked packs (diff) | |
| download | tgif-776d668142070cd1234bcc9df6661d372cae2e16.tar.xz | |
Merge branch 'ew/server-info-remove-crufts' into maint
"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 'worktree.c')
0 files changed, 0 insertions, 0 deletions