Merge branch 'dj/fetch-tagopt'
commit381b2e76985de1c3670ec3c1938fef679c6eef17
authorJunio C Hamano <gitster@pobox.com>
Tue, 31 Aug 2010 23:24:24 +0000 (31 16:24 -0700)
committerJunio C Hamano <gitster@pobox.com>
Tue, 31 Aug 2010 23:24:24 +0000 (31 16:24 -0700)
treed411abec9022feeead621d3e644681b194c53413
parent3f29dd6c2344c56aad263a82a773ead0d9fded30
parented36854651303dd18156786fc096de611f43912c
Merge branch 'dj/fetch-tagopt'

* dj/fetch-tagopt:
  fetch: allow command line --tags to override config
Documentation/config.txt
builtin/fetch.c