Rename mongodb_index.json to mongodb_vector_index.json 3d195ed verified bstraehle commited on Jul 29, 2024
Rename mongodb_index_filter.json to mongodb_vector_index_filter.json 9095ee7 verified bstraehle commited on Jul 29, 2024