fix: open in Gitpod and mongo shell docs links should point to right resources#8224

Merged

stephanegigandet merged 1 commit intoopenfoodfacts:mainfrom jnsereko:fix-broken-links

Mar 17, 2023

+2-2

Commits on Mar 17, 2023

fix: open in Gitpod and mongo shell docs links should point to right resources
jnsereko
committed