[FFmpeg-devel] setting up a proper Github mirror

[Ganesh Ajjanagadde]

Hi all,

I noticed that the Github mirror: https://github.com/FFmpeg/FFmpeg is
over 3 hours out of sync with the main repos, making it unusable as a
fetch url for development. Anyone knows why this is the case?

Also, it looks like one can set some fancy UI illustrating that it is
a mirror, see for instance: https://github.com/coreutils/coreutils.
Anyone knows how to do this?

The reason I bothered with this is that setting this up correctly
could reduce the server load: only for pushing is the
source.ffmpeg.org needed, for pulling one can use the Github URL. I
currently point my fetch to Videolan and push to source.ffmpeg for
this purpose.

Regards,
Ganesh