Gravitino is a high-performance, geo-distributed, and federated metadata lake | Not Hacker News!