Merge branch 'jk/fetch-prune-doc' into maint
commit1c22105f2ce6795035f4d030325127dab9736caa
authorJunio C Hamano <gitster@pobox.com>
Wed, 6 Jul 2016 20:06:44 +0000 (6 13:06 -0700)
committerJunio C Hamano <gitster@pobox.com>
Wed, 6 Jul 2016 20:06:44 +0000 (6 13:06 -0700)
treec2b5aa110206bc0cdd2ff9e855ad0d5dd0be13d2
parent9d3d0dbb14fa529492d828485b1f65aa9e0ed199
parent9e70233a17f158f499c60ff82c20c7646fde66e8
Merge branch 'jk/fetch-prune-doc' into maint

Minor doc update.

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