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
