Re: [FFmpeg-devel] setting up a proper Github mirror

2015-10-11 Thread Timothy Gu
On Sun, Oct 11, 2015 at 11:44 AM Ganesh Ajjanagadde 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

[FFmpeg-devel] setting up a proper Github mirror

2015-10-11 Thread Ganesh Ajjanagadde
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? Also, it looks like one can set some fancy UI illustrating that it is a mirror, see

Re: [FFmpeg-devel] setting up a proper Github mirror

2015-10-11 Thread Clément Bœsch
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

Re: [FFmpeg-devel] setting up a proper Github mirror

2015-10-11 Thread Timothy Gu
On Sun, Oct 11, 2015 at 12:16 PM Ganesh Ajjanagadde wrote: > Alternatively (for now, more sustainable is a proper hook), could you > post here your alias to do this? > git remote set-url origin --push --add g...@github.com:FFmpeg/FFmpeg.git Timothy

Re: [FFmpeg-devel] setting up a proper Github mirror

2015-10-11 Thread Ganesh Ajjanagadde
On Sun, Oct 11, 2015 at 3:09 PM, Timothy Gu wrote: > On Sun, Oct 11, 2015 at 11:44 AM Ganesh Ajjanagadde > 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

Re: [FFmpeg-devel] setting up a proper Github mirror

2015-10-11 Thread Michael Niedermayer
On Sun, Oct 11, 2015 at 03:43:19PM -0400, Ganesh Ajjanagadde wrote: > On Sun, Oct 11, 2015 at 3:33 PM, Michael Niedermayer > wrote: > > 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: >

Re: [FFmpeg-devel] setting up a proper Github mirror

2015-10-11 Thread Michael Niedermayer
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

Re: [FFmpeg-devel] setting up a proper Github mirror

2015-10-11 Thread Ganesh Ajjanagadde
On Sun, Oct 11, 2015 at 3:20 PM, Timothy Gu wrote: > On Sun, Oct 11, 2015 at 12:16 PM Ganesh Ajjanagadde > wrote: > >> Alternatively (for now, more sustainable is a proper hook), could you >> post here your alias to do this? >> > > git remote set-url

Re: [FFmpeg-devel] setting up a proper Github mirror

2015-10-11 Thread Ganesh Ajjanagadde
On Sun, Oct 11, 2015 at 3:33 PM, Michael Niedermayer wrote: > 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:

Re: [FFmpeg-devel] setting up a proper Github mirror

2015-10-11 Thread Ganesh Ajjanagadde
On Sun, Oct 11, 2015 at 4:11 PM, Michael Niedermayer wrote: > On Sun, Oct 11, 2015 at 03:43:19PM -0400, Ganesh Ajjanagadde wrote: >> On Sun, Oct 11, 2015 at 3:33 PM, Michael Niedermayer >> wrote: >> > On Sun, Oct 11, 2015 at 09:04:32PM +0200,