mirror of
https://github.com/git/git.git
synced 2024-11-06 09:13:01 +01:00
Merge branch 'jc/fetch-notags'
* jc/fetch-notags: remotes.not-origin.tagopt
This commit is contained in:
commit
50cfde1453
1 changed files with 9 additions and 0 deletions
|
@ -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.
|
||||
|
|
Loading…
Reference in a new issue