Hi Julia. I merged your PR manually because I needed to fix some of the JSON. The fields tags, links and recommenders must be lists of strings, but geojson.io is not very smart about lists and sometimes it produces strings instead.
I strengthened the CI validation, hopefully it'll catch this kind of bugs next time.
Hi Julia. I merged your PR manually because I needed to fix some of the JSON. The fields
tags,linksandrecommendersmust be lists of strings, but geojson.io is not very smart about lists and sometimes it produces strings instead.I strengthened the CI validation, hopefully it'll catch this kind of bugs next time.