On Sun, Oct 11, 2015 at 02:43:53PM -0400, Ganesh Ajjanagadde wrote: > 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? >
Isn't this done manually by whoever has access to it? > 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. I hope this won't disappoint you but: [~]☭ host source.ffmpeg.org source.ffmpeg.org is an alias for git.videolan.org. [...] -- Clément B.
signature.asc
Description: PGP signature
_______________________________________________ ffmpeg-devel mailing list ffmpeg-devel@ffmpeg.org http://ffmpeg.org/mailman/listinfo/ffmpeg-devel