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
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
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
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
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
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:
>
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
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
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:
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,
10 matches
Mail list logo