Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix metadata in Infrastrucure changelog update (#2749)
Fixes several errors in the meta-data from #2744 . These broke the build with uncaught exceptions such as ``` Ood_gen.Exn.Decode_error("data/changelog/infra/2024-10-02-updates.md : error calling parser: mapping values are not allowed in this context character 0 position 0 returned: 0") ``` and ``` Ood_gen.Exn.Decode_error("data/changelog/infra/2024-10-02-updates.md : data/changelog/infra/2024-10-02-updates.md : date2024-10-04\n") ``` Also added the infrastructure tag that had been lost during review.
- Loading branch information