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 _______________________________________________ ffmpeg-devel mailing list ffmpeg-devel@ffmpeg.org http://ffmpeg.org/mailman/listinfo/ffmpeg-devel
