Merge branch 'jk/fetch-prune-doc'

* jk/fetch-prune-doc:
  fetch: document that pruning happens before fetching

diff --cc Documentation/fetch-options.txt
Simple merge