Open enricorotundo opened 5 years ago
If we need to add "_id" to the list below so that is indexed by algolia we'd need to implement the changes below. https://github.com/enricorotundo/jlpms/blob/d98d186a41333057408b70c8d6d1c072d48a2e95/fetcher/fetcher.py#L55 On the other hand, "id" is already being indexed by both mongo and algolia, should we just use that?
Changes needed:
I think it's better to use the MongoDB's ObjectId, because more extensible. Once (maybe) we'll integrate other sources other than GitHub, we cannot rely on the GitHub id anymore.
If we need to add "_id" to the list below so that is indexed by algolia we'd need to implement the changes below. https://github.com/enricorotundo/jlpms/blob/d98d186a41333057408b70c8d6d1c072d48a2e95/fetcher/fetcher.py#L55 On the other hand, "id" is already being indexed by both mongo and algolia, should we just use that?
Changes needed: