projects / git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: 39d38a5 8b59935)
Merge branch 'jk/stop-pack-objects-when-push-is-killed'
authorJunio C Hamano <gitster@pobox.com>
Thu, 3 Dec 2020 08:18:06 +0000 (00:18 -0800)
committerJunio C Hamano <gitster@pobox.com>
Thu, 3 Dec 2020 08:18:06 +0000 (00:18 -0800)
commitadae5df5d22d97888987d6e070a91a7b04289c6f
tree5fc7ceaec2b5c1d982dfab6f1f9ff39dcec2346etree | snapshot
parent39d38a5c5f51ff2f4685bdc9f1af6f4cb0dcd33ccommit | diff
parent8b59935114d9dafd737a7674ccf3787e7ffc61c9commit | 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
send-pack.c diff1 | diff2 | blob | history
Unnamed repository; edit this file 'description' to name the repository.