On Fri, 21 Oct 2022 at 11:28, luigi scarso wrote: > On Fri, 21 Oct 2022 at 11:04, Mojca Miklavec wrote: >> >> >> I don't think it makes much sense to reinvent the wheel again. >> (If you don't like GitHub, you can of course create a mirror on >> GitLab, but there's no need to do a conversion from scratch.) > > hm, I admit that I didn't explain well... we already have a gitlab site ready.
So what do you have on that site? Mojca
