"polaris-tools" sounds good to me. I assume it's not only used by developers.
Yufei On Tue, Feb 25, 2025 at 10:56 PM Ajantha Bhat <ajanthab...@gmail.com> wrote: > JB mentioned that it has to have `polaris` in the repo name. > > How about calling it as `apache/*polaris-dev-tools*`? It can have an > iceberg catalog migrator CLI, Delta lake catalog migrator CLI, or something > else in the future as part of this repo. > > I don't want the repo to be called just `apache/polaris-catalog-migrator` > because it sounds like it is just a migrator from/to polaris catalog. > > - Ajantha >