From mboxrd@z Thu Jan 1 00:00:00 1970 From: agustin.benito@codethink.co.uk (=?ISO-8859-1?Q?Agust=EDn?= Benito Bethencourt) Date: Wed, 16 May 2018 11:45:46 +0200 Subject: [cip-dev] linux-cip-rt mirror on gitlab.com? In-Reply-To: <10527740.x36acMXemi@linux-if6s> References: <10527740.x36acMXemi@linux-if6s> Message-ID: <1933362.9FXUihsh96@linux-if6s> To: cip-dev@lists.cip-project.org List-Id: cip-dev.lists.cip-project.org 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