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)
commit9e70233...17f158f499c60ff82c20c7646fde66e8
treec8926b6...063016ee5f0fde795420fc4711a9df66copy hash to clipboard (tree)
parent7654286...9a5381f113d19974720bc91b5bfeaf1dcopy hash to clipboard (diff)
Documentation/fetch-options.txt