commit | 9e70233a17f158f499c60ff82c20c7646fde66e8 | [log] [tgz] |
---|---|---|
author | Jeff King <peff@peff.net> | Mon Jun 13 19:58:51 2016 -0400 |
committer | Junio C Hamano <gitster@pobox.com> | Tue Jun 14 10:56:27 2016 -0700 |
tree | c8926b6f063016ee5f0fde795420fc4711a9df66 | |
parent | 765428699a5381f113d19974720bc91b5bfeaf1d [diff] |
fetch: document that pruning happens before fetching 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>