[PATCH] convert: allow customizing git remote prefix

[Matt Mackall]

On Mon, 2015-07-13 at 22:07 -0700, Durham Goode wrote:
> # HG changeset patch
> # User Durham Goode <durham at fb.com>
> # Date 1436848666 25200
> #      Mon Jul 13 21:37:46 2015 -0700
> # Node ID b2ff10e2fc12fe839781cb7ccd1d8d0302dd33f5
> # Parent  35fa7c77c754aa4d156c42abfdb61ca178468872
> convert: allow customizing git remote prefix

Queued for default, thanks.

-- 
Mathematics is the supreme nostalgia of our time.