diff options
| author |  Max Kirillov <max@max630.net> | 2018-06-10 18:05:19 +0300 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2018-06-11 13:21:36 -0700 |
| commit | 6b1fae1dfbbdb6dc352567c0fc45a9e87474192d (patch) | |
| tree | 6e9309dda9bb374a876f3889b93d778e3146ac9b /Documentation/git-pull.txt | |
| parent | A bit more topics before -rc1 (diff) | |
| download | tgif-6b1fae1dfbbdb6dc352567c0fc45a9e87474192d.tar.xz | |
http-backend: cleanup writing to child process
As explained in [1], we should not assume the reason why the writing has
failed, and even if the reason is that child has existed not the reason
why it have done so. So instead just say that writing has failed.
[1] https://public-inbox.org/git/20180604044408.GD14451@sigill.intra.peff.net/
Signed-off-by: Max Kirillov <max@max630.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git-pull.txt')
0 files changed, 0 insertions, 0 deletions