My Various Git Projects / git.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: 9d3d0db 9e70233)
Merge branch 'jk/fetch-prune-doc' into maint
authorJunio C Hamano <gitster@pobox.com>
Wed, 6 Jul 2016 20:06:44 +0000 (13:06 -0700)
committerJunio C Hamano <gitster@pobox.com>
Wed, 6 Jul 2016 20:06:44 +0000 (13:06 -0700)
commit1c22105f2ce6795035f4d030325127dab9736caa
treec2b5aa110206bc0cdd2ff9e855ad0d5dd0be13d2tree | snapshot
parent9d3d0dbb14fa529492d828485b1f65aa9e0ed199commit | diff
parent9e70233a17f158f499c60ff82c20c7646fde66e8commit | diff
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 diff1 | diff2 | blob | history
The core git plumbing