[FFmpeg-devel] setting up a proper Github mirror

[Ganesh Ajjanagadde]

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