Create GHA to ensure providers JSON are up to date
martinfleis opened this issue · 1 comments
martinfleis commented
We should create a GHA which would periodically (weekly?) fetch the list of providers from leaflet and compress our providers.json.
martinfleis commented