Specify repo option with hg pull

Fixes #1989
Merge pull request #1990 from roller/devel

Specify repo option with hg pull