[FFmpeg-devel] [RFC] FFmpeg-web: mirror & missing files

[Thilo Borgmann]

Hi,

a) it would be nice to also have a mirror on github for the FFmpeg-web
repository for submitting pull-requests to the website. If it is not too much
effort...

b) it seems like at least the texi source for developer.html is missing in the
FFmpeg-web repository. I have not checked but maybe more files are missing.

-Thilo