diff options
author | Junio C Hamano <junkio@cox.net> | 2007-02-19 18:30:52 -0800 |
---|---|---|
committer | Junio C Hamano <junkio@cox.net> | 2007-02-19 18:30:52 -0800 |
commit | 50cfde14531a5b354bbc3a070fe39c1ee86e2915 (patch) | |
tree | 494751f237e71943376930670401ac991d915c4c | |
parent | 2b2b892e36eb0bd8ce431635243dd27f5230044c (diff) | |
parent | 24424fc2f7cd7b3875fe6863587f47c043ac449d (diff) | |
download | git-50cfde14531a5b354bbc3a070fe39c1ee86e2915.tar.gz |
Merge branch 'jc/fetch-notags'
* jc/fetch-notags:
remotes.not-origin.tagopt
-rwxr-xr-x | git-fetch.sh | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/git-fetch.sh b/git-fetch.sh index ca984e739a..d230995f6e 100755 --- a/git-fetch.sh +++ b/git-fetch.sh @@ -243,6 +243,15 @@ then orig_head=$(git-rev-parse --verify HEAD 2>/dev/null) fi +# Allow --notags from remote.$1.tagopt +case "$tags$no_tags" in +'') + case "$(git-config --get "remote.$1.tagopt")" in + --no-tags) + no_tags=t ;; + esac +esac + # If --tags (and later --heads or --all) is specified, then we are # not talking about defaults stored in Pull: line of remotes or # branches file, and just fetch those and refspecs explicitly given. |