Specify repo option with hg pull

Fixes #1989