Update release-data JSON file format (#274)

This makes the format open for extension, such as adding release cycle level data (such as EOL dates).

Version data is still accessible by the version's name. While this repeats the version name, it's also much more convenient for users of those data.

A few other things have also been updated in the process:

- verbosity of the diff has been increased in update.py to make workflow summaries more readable,
- dates without timezone are now set to UTC by default (this was already supposed, so no impact expected here).
This commit is contained in:
Marc Wrobel
2023-12-31 18:30:35 +01:00
parent b79b71518d
commit 74678a75c3
225 changed files with 184985 additions and 46158 deletions

File diff suppressed because it is too large Load Diff