L'idea sarebbe di avere un repository separato per questione di licenza del repo e fare uno script che scarica tutti i file e crea i json.
Non lo farei automatico perchè cambiano a distanza di mesi e non credo ci sia la pratica di mantenere le url stabili.
Tutte le url si sono già rotte quando hanno fatto il sito unificato un paio di anni fa.
xrmx
commented
4 years ago
L'idea sarebbe di avere un repository separato per questione di licenza del repo e fare uno script che scarica tutti i file e crea i json. Non lo farei automatico perchè cambiano a distanza di mesi e non credo ci sia la pratica di mantenere le url stabili. Tutte le url si sono già rotte quando hanno fatto il sito unificato un paio di anni fa.