[FFmpeg-devel] setting up a proper Github mirror
michael at niedermayer.cc
Sun Oct 11 21:33:19 CEST 2015
On Sun, Oct 11, 2015 at 09:04:32PM +0200, Clément Bœsch 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?
i (and possibly timothy) push to github after doing full build and
fate tests. If for some reason build or fate fails or iam aware of
a major/critical breakage in master which is not in github yet then i
do not push to github.
So github may be a few hours behind master but in the rare event
of a major messup it should not propagate to github before its fixed
Michael GnuPG fingerprint: 9FF2128B147EF6730BADF133611EC787040B0FAB
When the tyrant has disposed of foreign enemies by conquest or treaty, and
there is nothing more to fear from them, then he is always stirring up
some war or other, in order that the people may require a leader. -- Plato
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 181 bytes
Desc: Digital signature
More information about the ffmpeg-devel