Okay sounds good Gianluca
On Thu, 20 Mar 2025 at 17:52, James Daugherty <jdaughe...@jdresources.net.invalid> wrote: > I don't think we should rename any repositories until builds are fully > working. It will delay the 7 release process otherwise. The goal of this > discussion is specific to the groupid / artifactid. > > On Thu, Mar 20, 2025 at 12:46 PM Gianluca Sartori <g.sart...@gmail.com> > wrote: > > > Yes, I am just talking about the repository name, not the groupId or > > artifactId. > > The repository name can be any name available in our Git namespace, it > will > > not conflict or influence any other repository name on any other GitHub > > namespace. > > > > Gianluca >
