On Sun, Oct 11, 2015 at 3:09 PM, Timothy Gu <timothyg...@gmail.com> wrote: > On Sun, Oct 11, 2015 at 11:44 AM Ganesh Ajjanagadde <gajja...@mit.edu> > wrote: > >> 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? >> > > It is not an automatic mirror, and it is only updated when Michael or I > pushes since a) only three people have been added to the FFmpeg > organization and b) only Michael and I bothered to add Git aliases. > > Same goes for the other repos.
Can't this be done through a post-commit/receive hook: https://help.github.com/articles/about-github-mirrors/? Alternatively (for now, more sustainable is a proper hook), could you post here your alias to do this? > > 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? >> > > One has to contact GitHub for it. I tried doing that a long time ago but > they said they would do it only if Michael asked for it, and I didn't > bother. > > Plus the mirror symbol doesn't offer any advantages: > > 1. pull requests still cannot be disabled > 2. one still has to manually push to the GitHub mirror, either by hand or > through a receive hook on the server IIRC It is still perhaps slightly helpful from a UI perspective: people are further tuned to the fact that Github is just for hosting FFmpeg; development is elsewhere. > > Timothy > _______________________________________________ > 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
