Merge branch 'master' into next
authorJunio C Hamano <junkio@cox.net>
Sat, 18 Mar 2006 10:08:10 +0000 (02:08 -0800)
committerJunio C Hamano <junkio@cox.net>
Sat, 18 Mar 2006 10:08:10 +0000 (02:08 -0800)
* master:
  git-pull: run repo-config with dash form.


Trivial merge