From 3c154e8579ca4c1d68d184b3d5e77921fd0d701e Mon Sep 17 00:00:00 2001
From: Michael Niedermayer <michael@niedermayer.cc>
Date: Wed, 22 Nov 2023 00:50:16 +0100
Subject: [PATCH] doc/git-howto: use less weird username for git URL

Signed-off-by: Michael Niedermayer <michael@niedermayer.cc>
Signed-off-by: J. Dekker <jdek@itanimul.li>
---
 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