diff options
| author | Junio C Hamano <gitster@pobox.com> | 2020-12-03 00:18:06 -0800 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2020-12-03 00:18:06 -0800 |
| commit | adae5df5d22d97888987d6e070a91a7b04289c6f (patch) | |
| tree | 5fc7ceaec2b5c1d982dfab6f1f9ff39dcec2346e /builtin/diff.c | |
| parent | 39d38a5c5f51ff2f4685bdc9f1af6f4cb0dcd33c (diff) | |
| parent | 8b59935114d9dafd737a7674ccf3787e7ffc61c9 (diff) | |
Merge branch 'jk/stop-pack-objects-when-push-is-killed'
"git push" that is killed may leave a pack-objects process behind,
still computing to find a good compression, wasting cycles. This
has been corrected.
* jk/stop-pack-objects-when-push-is-killed:
send-pack: kill pack-objects helper on signal or exit
Diffstat (limited to 'builtin/diff.c')
0 files changed, 0 insertions, 0 deletions