[cip-dev] linux-cip-rt mirror on gitlab.com?

[cip-dev] linux-cip-rt mirror on gitlab.com?

[Daniel Wagner]

Hi Augstin,

I just received an private message asking where the linux-cip-rt kernel
is hosted.  I wonder if it would be possible to mirror the linux-cip-rt
as well in the cip-project group on gitlab.com. The wiki points only to
the gitlab.com side.

My linux-cip-rt tree is here:

  https://git.kernel.org/pub/scm/linux/kernel/git/wagi/linux-cip-rt.git

Thanks,
Daniel

[cip-dev] linux-cip-rt mirror on gitlab.com?

[Agustín Benito Bethencourt]

Hi,

On Friday, 11 May 2018 09:34:24 CEST Daniel Wagner wrote:
> Hi Augstin,
> 
> I just received an private message asking where the linux-cip-rt kernel
> is hosted.  I wonder if it would be possible to mirror the linux-cip-rt
> as well in the cip-project group on gitlab.com. The wiki points only to
> the gitlab.com side.

Of course, yes.

> 
> My linux-cip-rt tree is here:
> 
>   https://git.kernel.org/pub/scm/linux/kernel/git/wagi/linux-cip-rt.git

I will mirror repo and provide you master rights of it so you manage it.

Best Regards

-- 
Agust?n Benito Bethencourt
Principal Consultant
Codethink Ltd

[cip-dev] linux-cip-rt mirror on gitlab.com?

[Agustín Benito Bethencourt]

Hi,

On Friday, 11 May 2018 10:31:32 CEST Agust?n Benito Bethencourt wrote:
> Hi,
> 
> On Friday, 11 May 2018 09:34:24 CEST Daniel Wagner wrote:
> > Hi Augstin,
> > 
> > I just received an private message asking where the linux-cip-rt kernel
> > is hosted.  I wonder if it would be possible to mirror the linux-cip-rt
> > as well in the cip-project group on gitlab.com. The wiki points only to
> > the gitlab.com side.
> 
> Of course, yes.
> 
> > My linux-cip-rt tree is here:
> >   https://git.kernel.org/pub/scm/linux/kernel/git/wagi/linux-cip-rt.git
> 
> I will mirror repo and provide you master rights of it so you manage it.

Configs done. Now it is all about gitlab.com doing its job mirroring. I hope we 
have enough space in our account.

When we did this with the kernel repo from Ben it took us several tries to 
make it right.

https://gitlab.com/cip-project/cip-kernel/linux-cip-rt

Best Regards

-- 
Agust?n Benito Bethencourt
Principal Consultant
Codethink Ltd

[cip-dev] linux-cip-rt mirror on gitlab.com?

[Agustín Benito Bethencourt]

Hi,

On Wednesday, 16 May 2018 11:45:46 CEST Agust?n Benito Bethencourt wrote:
> Hi,
> 
> On Friday, 11 May 2018 10:31:32 CEST Agust?n Benito Bethencourt wrote:
> > Hi,
> > 
> > On Friday, 11 May 2018 09:34:24 CEST Daniel Wagner wrote:
> > > Hi Augstin,
> > > 
> > > I just received an private message asking where the linux-cip-rt kernel
> > > is hosted.  I wonder if it would be possible to mirror the linux-cip-rt
> > > as well in the cip-project group on gitlab.com. The wiki points only to
> > > the gitlab.com side.
> > 
> > Of course, yes.
> > 
> > > My linux-cip-rt tree is here:
> > >   https://git.kernel.org/pub/scm/linux/kernel/git/wagi/linux-cip-rt.git
> > 
> > I will mirror repo and provide you master rights of it so you manage it.
> 
> Configs done. Now it is all about gitlab.com doing its job mirroring. I hope
> we have enough space in our account.
> 
> When we did this with the kernel repo from Ben it took us several tries to
> make it right.
> 
> https://gitlab.com/cip-project/cip-kernel/linux-cip-rt

The mirroring process finished.

Best Regards

-- 
Agust?n Benito Bethencourt
Principal Consultant
Codethink Ltd

[cip-dev] linux-cip-rt mirror on gitlab.com?

[Daniel Wagner]

>> https://gitlab.com/cip-project/cip-kernel/linux-cip-rt
> 
> The mirroring process finished.

Excellent!

Many thanks,
Daniel