Merge branch 'jk/fetch-prune-doc'
commit47640538150d082482842104e1893bcbc07f575d
authorJunio C Hamano <gitster@pobox.com>
Mon, 27 Jun 2016 16:56:44 +0000 (27 09:56 -0700)
committerJunio C Hamano <gitster@pobox.com>
Mon, 27 Jun 2016 16:56:44 +0000 (27 09:56 -0700)
treeb626fb6b9e4d3f149ccc2388b9cc70a2a2771ece
parent0c068afd8cb4fa71431213f2a3adaea98435d456
parent9e70233a17f158f499c60ff82c20c7646fde66e8
Merge branch 'jk/fetch-prune-doc'

* jk/fetch-prune-doc:
  fetch: document that pruning happens before fetching
Documentation/fetch-options.txt