* [cip-dev] linux-cip-rt mirror on gitlab.com?
@ 2018-05-11 7:34 Daniel Wagner
2018-05-11 8:31 ` Agustín Benito Bethencourt
0 siblings, 1 reply; 5+ messages in thread
From: Daniel Wagner @ 2018-05-11 7:34 UTC (permalink / raw)
To: cip-dev
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
^ permalink raw reply [flat|nested] 5+ messages in thread
* [cip-dev] linux-cip-rt mirror on gitlab.com?
2018-05-11 7:34 [cip-dev] linux-cip-rt mirror on gitlab.com? Daniel Wagner
@ 2018-05-11 8:31 ` Agustín Benito Bethencourt
2018-05-16 9:45 ` Agustín Benito Bethencourt
0 siblings, 1 reply; 5+ messages in thread
From: Agustín Benito Bethencourt @ 2018-05-11 8:31 UTC (permalink / raw)
To: cip-dev
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
^ permalink raw reply [flat|nested] 5+ messages in thread
* [cip-dev] linux-cip-rt mirror on gitlab.com?
2018-05-11 8:31 ` Agustín Benito Bethencourt
@ 2018-05-16 9:45 ` Agustín Benito Bethencourt
2018-05-16 10:53 ` Agustín Benito Bethencourt
0 siblings, 1 reply; 5+ messages in thread
From: Agustín Benito Bethencourt @ 2018-05-16 9:45 UTC (permalink / raw)
To: cip-dev
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
^ permalink raw reply [flat|nested] 5+ messages in thread
* [cip-dev] linux-cip-rt mirror on gitlab.com?
2018-05-16 9:45 ` Agustín Benito Bethencourt
@ 2018-05-16 10:53 ` Agustín Benito Bethencourt
2018-05-16 12:50 ` Daniel Wagner
0 siblings, 1 reply; 5+ messages in thread
From: Agustín Benito Bethencourt @ 2018-05-16 10:53 UTC (permalink / raw)
To: cip-dev
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
^ permalink raw reply [flat|nested] 5+ messages in thread
* [cip-dev] linux-cip-rt mirror on gitlab.com?
2018-05-16 10:53 ` Agustín Benito Bethencourt
@ 2018-05-16 12:50 ` Daniel Wagner
0 siblings, 0 replies; 5+ messages in thread
From: Daniel Wagner @ 2018-05-16 12:50 UTC (permalink / raw)
To: cip-dev
>> https://gitlab.com/cip-project/cip-kernel/linux-cip-rt
>
> The mirroring process finished.
Excellent!
Many thanks,
Daniel
^ permalink raw reply [flat|nested] 5+ messages in thread
end of thread, other threads:[~2018-05-16 12:50 UTC | newest]
Thread overview: 5+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2018-05-11 7:34 [cip-dev] linux-cip-rt mirror on gitlab.com? Daniel Wagner
2018-05-11 8:31 ` Agustín Benito Bethencourt
2018-05-16 9:45 ` Agustín Benito Bethencourt
2018-05-16 10:53 ` Agustín Benito Bethencourt
2018-05-16 12:50 ` Daniel Wagner
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.