1
0
mirror of https://github.com/git/git.git synced 2024-09-30 17:11:23 +02:00

Merge branch 'master' into next

* master:
  git-pull: run repo-config with dash form.
This commit is contained in:
Junio C Hamano 2006-03-18 02:08:10 -08:00
commit 2fc27528f6

@ -70,14 +70,14 @@ case "$merge_head" in
exit 0
;;
?*' '?*)
var=`git repo-config --get pull.octopus`
var=`git-repo-config --get pull.octopus`
if test -n "$var"
then
strategy_default_args="-s $var"
fi
;;
*)
var=`git repo-config --get pull.twohead`
var=`git-repo-config --get pull.twohead`
if test -n "$var"
then
strategy_default_args="-s $var"