[FFmpeg-devel] setting up a proper Github mirror
gajjanag at mit.edu
Sun Oct 11 21:19:25 CEST 2015
On Sun, Oct 11, 2015 at 3:04 PM, Clément Bœsch <u at 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 at ffmpeg.org
More information about the ffmpeg-devel