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

J. Dekker jdek at itanimul.li
Wed Nov 22 11:15:24 EET 2023


Michael Niedermayer <michael at niedermayer.cc> writes:

> Signed-off-by: Michael Niedermayer <michael at 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.

-- 
jd



More information about the ffmpeg-devel mailing list