diff options
| author | Jeff King <peff@peff.net> | 2016-06-13 19:58:51 -0400 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2016-06-14 10:56:27 -0700 |
| commit | 9e70233a17f158f499c60ff82c20c7646fde66e8 (patch) | |
| tree | c8926b6f063016ee5f0fde795420fc4711a9df66 /trailer.h | |
| parent | 765428699a5381f113d19974720bc91b5bfeaf1d (diff) | |
| download | git-9e70233a17f158f499c60ff82c20c7646fde66e8.tar.gz | |
fetch: document that pruning happens before fetchingjk/fetch-prune-doc
This was changed in 10a6cc8 (fetch --prune: Run prune before
fetching, 2014-01-02), but it seems that nobody in that
discussion realized we were advertising the "after"
explicitly.
Signed-off-by: Jeff King <peff@peff.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'trailer.h')
0 files changed, 0 insertions, 0 deletions