diff options
| author | Daniel Johnson <computerdruid@gmail.com> | 2010-08-12 00:57:20 +0200 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2010-08-15 04:24:23 +0200 |
| commit | ed36854651303dd18156786fc096de611f43912c (patch) | |
| tree | 328e1ac5bedad23c32390e7e45199702040ff090 /builtin/grep.c | |
| parent | Git 1.7.2 (diff) | |
| download | git-ed36854651303dd18156786fc096de611f43912c.tar.xz git-ed36854651303dd18156786fc096de611f43912c.zip | |
fetch: allow command line --tags to override config
Originally, if remote.<name>.tagopt was set, the --tags and option would
have no effect when given to git fetch. So if
tagopt="--no-tags"
git fetch --tags
would not actually fetch tags.
This patch changes this behavior to only follow what is written in the
config if there is no option passed by the command line.
Signed-off-by: Daniel Johnson <ComputerDruid@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'builtin/grep.c')
0 files changed, 0 insertions, 0 deletions