]> granicus.if.org Git - git/commit
projects / git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7654286) | patch
fetch: document that pruning happens before fetching
authorJeff King <peff@peff.net>
Mon, 13 Jun 2016 23:58:51 +0000 (19:58 -0400)
committerJunio C Hamano <gitster@pobox.com>
Tue, 14 Jun 2016 17:56:27 +0000 (10:56 -0700)
commit9e70233a17f158f499c60ff82c20c7646fde66e8
treec8926b6f063016ee5f0fde795420fc4711a9df66tree | snapshot
parent765428699a5381f113d19974720bc91b5bfeaf1dcommit | 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>
Documentation/fetch-options.txt diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.