[FFmpeg-devel] [PATCH 01/17] Update git-howto with ffmpeg.org URLs

[Janne Grunau]

On Tue, Jan 18, 2011 at 07:32:05PM +0000, Mans Rullgard wrote:
> ---
>  doc/git-howto.txt |    8 ++++----
>  1 files changed, 4 insertions(+), 4 deletions(-)
> 
> diff --git a/doc/git-howto.txt b/doc/git-howto.txt
> index 8b1fc14..519c897 100644
> --- a/doc/git-howto.txt
> +++ b/doc/git-howto.txt
> @@ -44,11 +44,11 @@ I. BASICS:
>  
>  1. Cloning the source tree:
>  
> -    git clone git://git.videolan.org/ffmpeg <target>
> +    git clone git://git.ffmpeg.org/ffmpeg.git <target>
>  
>    This will put the FFmpeg sources into the directory <target>.
>  
> -    git clone git at git.videolan.org:ffmpeg <target>
> +    git clone git at git.ffmpeg.org:ffmpeg.git <target>
>  
>    This will put the FFmpeg sources into the directory <target> and let
>    you push back your changes to the remote repository.
> @@ -97,7 +97,7 @@ I. BASICS:
>      git log <filename(s)>
>  
>    You may also use the graphical tools like gitview or gitk or the web
> -  interface available at http://git.videolan.org
> +  interface available at http://git.ffmpeg.org/
>  
>  6. Checking source tree status:
>  
> @@ -255,5 +255,5 @@ I. BASICS:
>    where $SHA1 is the commit SHA1 from the 'git log' output.
>  
>  
> -Contact the project admins <root at ffmpeg dot org> if you have technical
> +Contact the project admins <git at ffmpeg dot org> if you have technical
>  problems with the GIT server.

ack,

who is behind <git at ffmpeg dot org> ? is it an alias for the
maintainer team?