git-pull: run repo-config with dash form.
authorJunio C Hamano <junkio@cox.net>
Sat, 18 Mar 2006 10:07:59 +0000 (02:07 -0800)
committerJunio C Hamano <junkio@cox.net>
Sat, 18 Mar 2006 10:07:59 +0000 (02:07 -0800)
commitf5ef535ff571d80d230ea4706edad215f1fbc96f
treef884c72d2853a179df94e3e738ebe27e12d65ab2
parent8a414ad50cd9edfe6c8f0a6b9b08df4aaa9ccb75
git-pull: run repo-config with dash form.

... as discussed on the list for consistency.

Signed-off-by: Junio C Hamano <junkio@cox.net>
git-pull.sh