[FFmpeg-devel] [PATCH] doc/git-howto: use less weird username for git URL

[FFmpeg-devel] [PATCH] doc/git-howto: use less weird username for git URL

[Michael Niedermayer]

Signed-off-by: Michael Niedermayer <michael@niedermayer.cc>
---
 doc/git-howto.texi | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/git-howto.texi b/doc/git-howto.texi
index f4e2f2ec232..075b188abe7 100644
--- a/doc/git-howto.texi
+++ b/doc/git-howto.texi
@@ -66,7 +66,7 @@ This will put the FFmpeg sources into the directory @var{<target>} and let
 you push back your changes to the remote repository.
 
 @example
-git clone gil@@ffmpeg.org:ffmpeg-web <target>
+git clone git@@ffmpeg.org:ffmpeg-web <target>
 @end example
 
 This will put the source of the FFmpeg website into the directory
-- 
2.17.1

_______________________________________________
ffmpeg-devel mailing list
ffmpeg-devel@ffmpeg.org
https://ffmpeg.org/mailman/listinfo/ffmpeg-devel

To unsubscribe, visit link above, or email
ffmpeg-devel-request@ffmpeg.org with subject "unsubscribe".

Re: [FFmpeg-devel] [PATCH] doc/git-howto: use less weird username for git URL

[J. Dekker]

Michael Niedermayer <michael@niedermayer.cc> writes:

> Signed-off-by: Michael Niedermayer <michael@niedermayer.cc>
> ---
>  doc/git-howto.texi | 2 +-
>  1 file changed, 1 insertion(+), 1 deletion(-)


Most people probably use git@ already, seems to be more common practice
in general. Both users map to the same id on the server so would make
sense to update the documentation to recommend the more conventional
one.

Pushed.

-- 
jd

_______________________________________________
ffmpeg-devel mailing list
ffmpeg-devel@ffmpeg.org
https://ffmpeg.org/mailman/listinfo/ffmpeg-devel

To unsubscribe, visit link above, or email
ffmpeg-devel-request@ffmpeg.org with subject "unsubscribe".