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