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

[Michael Niedermayer]

ffmpeg | branch: master | Michael Niedermayer <michael at niedermayer.cc> | Wed Nov 22 00:50:16 2023 +0100| [3c154e8579ca4c1d68d184b3d5e77921fd0d701e] | committer: J. Dekker

doc/git-howto: use less weird username for git URL

Signed-off-by: Michael Niedermayer <michael at niedermayer.cc>
Signed-off-by: J. Dekker <jdek at itanimul.li>

> http://git.videolan.org/gitweb.cgi/ffmpeg.git/?a=commit;h=3c154e8579ca4c1d68d184b3d5e77921fd0d701e
---

 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 f4e2f2ec23..075b188abe 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