Re: [PATCH v2] urls.txt: document optional port specification in git URLS

[Junio C Hamano <gitster@pobox.com>]

Stefan Naewe <stefan.naewe@googlemail.com> writes:

> Signed-off-by: Stefan Naewe <stefan.naewe+git@gmail.com>
> ---
>  Documentation/urls.txt |    8 ++++----
>  1 files changed, 4 insertions(+), 4 deletions(-)
>
> diff --git a/Documentation/urls.txt b/Documentation/urls.txt
> index fa34c67..5355ebc 100644
> --- a/Documentation/urls.txt
> +++ b/Documentation/urls.txt
> @@ -6,10 +6,10 @@ to name the remote repository:
>  
>  ===============================================================
>  - rsync://host.xz/path/to/repo.git/
> -- http://host.xz/path/to/repo.git/
> -- https://host.xz/path/to/repo.git/
> -- git://host.xz/path/to/repo.git/
> -- git://host.xz/~user/path/to/repo.git/
> +- http://host.xz{startsb}:port{endsb}/path/to/repo.git/
> +- https://host.xz{startsb}:port{endsb}/path/to/repo.git/
> +- git://host.xz{startsb}:port{endsb}/path/to/repo.git/
> +- git://host.xz{startsb}:port{endsb}/~user/path/to/repo.git/
>  - ssh://{startsb}user@{endsb}host.xz{startsb}:port{endsb}/path/to/repo.git/
>  - ssh://{startsb}user@{endsb}host.xz/path/to/repo.git/
>  - ssh://{startsb}user@{endsb}host.xz/~user/path/to/repo.git/

Do you know if these port specifications do actually work?  Just double
checking.