Message ID | 20231121235016.14531-1-michael@niedermayer.cc |
---|---|
State | Accepted |
Commit | 3c154e8579ca4c1d68d184b3d5e77921fd0d701e |
Headers | show |
Series | [FFmpeg-devel] doc/git-howto: use less weird username for git URL | expand |
Context | Check | Description |
---|---|---|
yinshiyou/make_loongarch64 | success | Make finished |
yinshiyou/make_fate_loongarch64 | success | Make fate finished |
andriy/make_x86 | success | Make finished |
andriy/make_fate_x86 | success | Make fate finished |
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.
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
Signed-off-by: Michael Niedermayer <michael@niedermayer.cc> --- doc/git-howto.texi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)