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>
release/7.0
Michael Niedermayer 1 year ago committed by J. Dekker
parent e8a49b1424
commit 3c154e8579
  1. 2
      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. you push back your changes to the remote repository.
@example @example
git clone gil@@ffmpeg.org:ffmpeg-web <target> git clone git@@ffmpeg.org:ffmpeg-web <target>
@end example @end example
This will put the source of the FFmpeg website into the directory This will put the source of the FFmpeg website into the directory

Loading…
Cancel
Save