[PATCH] convert: allow customizing git remote prefix

[Sean Farley]

Durham Goode <durham at fb.com> writes:

> # 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
>
> Previously all git remotes were created as "remote/foo". This patch adds a
> configuration option for deciding what the prefix should be. This is useful if
> you want the bookmarks to be "origin/foo" like they are in git, or if you're
> integrating with the remotenames extension and don't want the local remote/foo
> bookmarks to overlap with the remote foo bookmarks.

This looks good to me.