On Sun, Oct 11, 2015 at 3:04 PM, Clément Bœsch <u...@pkh.me> wrote: > 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.
Thanks for showing me the host command, part of bind-tools on Arch. Will need to wait for a proper Github mirror for this strategy then. > > [...] > > -- > Clément B. > > _______________________________________________ > ffmpeg-devel mailing list > ffmpeg-devel@ffmpeg.org > http://ffmpeg.org/mailman/listinfo/ffmpeg-devel > _______________________________________________ ffmpeg-devel mailing list ffmpeg-devel@ffmpeg.org http://ffmpeg.org/mailman/listinfo/ffmpeg-devel
