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

[Ronald S. Bultje]

Hi,

On Tue, Jan 18, 2011 at 2:32 PM, Mans Rullgard <mans at mansr.com> 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.
> --
> 1.7.3.5

OK.

Ronald