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: Fri, 11 May 2018 10:31:32 +0200 Subject: [cip-dev] linux-cip-rt mirror on gitlab.com? In-Reply-To: References: Message-ID: <10527740.x36acMXemi@linux-if6s> To: cip-dev@lists.cip-project.org List-Id: cip-dev.lists.cip-project.org 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