Re: [PATCH] Add support for host aliases in config files

> So, something like:
> 
> diff --git a/Documentation/urls.txt b/Documentation/urls.txt
> index 81ac17f..f47b9e0 100644
> --- a/Documentation/urls.txt
> +++ b/Documentation/urls.txt
> @@ -36,6 +36,29 @@ To sync with a local directory, you can use:
>  - file:///path/to/repo.git/
>  ===============================================================
>  
> +If there are a large number of similarly-named remote repositories and
> +you want to use a different format for them (such that the URLs you
> +use will be rewritten into URLs that work), you can create a
> +configuration section of the form:
> +
> +------------
> +	[host "<host>"]
> +		base = <actual url base>
> +		alias = <other url base>
> +------------
> +
> +In particular, if you need to use URLs like
> +git://git.host.xz/repo.git, and you're getting a lot of URLs like
> +host.xz:/path/to/repo.git/, or you'd like to use a URL like
> +"work:repo.git" you can use a section:
> +
> +------------
> +	[host "host.xz"]
> +		base = git://git.host.xz/
> +		alias = host.xz:/path/to/
> +		alias = work:
> +------------
> +