make `git pull-all' really work.