do not pull repos by default - fixes #587

(0) -10 -1 +1 +10 tip

mercurial