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

2023-11-22 Thread J. Dekker
Michael Niedermayer writes: > Signed-off-by: Michael Niedermayer > --- > 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 s

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

2023-11-21 Thread Michael Niedermayer
Signed-off-by: Michael Niedermayer --- 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