On Thu, Nov 17, 2022 at 6:41 PM Alan C. Assis <acas...@gmail.com> wrote: > > Congratulations to everybody who made it possible. > > I was worried about the project redirection after renaming, but it > seems like Github will do it automatically for us: > > https://docs.github.com/en/repositories/creating-and-managing-repositories/renaming-a-repository > > So, the transition will be smooth!
Great! Now we just need to agree what the new names will be. Discussion happening in this thread: https://lists.apache.org/thread/2o3rrh0qnoh53j4ro0gxompxr13lc59d Cheers, Nathan
