Skip to content

Standard format for planet_feeds.txt #1528

Open
@patricoferris

Description

@patricoferris

Currently when generating https://ocaml.org/community/planet/ the planet_feeds.txt is read in order to get the name and the RSS feed URL, the format of that file seems a little arbitrary (or perhaps was made before all of the nice JSON/Yaml/S-expression tools we now have were created!).

For ease of sharing this information, extending the information (e.g. adding descriptions), porting it elsewhere and maintainability I think we should convert planet_feeds.txt to JSON.

As far as I can tell, we already transitively depend on ezjsonm because we depend on COW so this would be a good library to use for the parsing (we will still add it to the .opam file but it won't change the amount of things we pull in which is a nice bonus).

Metadata

Metadata

Assignees

No one assigned

    Labels

    mediumMore Complex Issues for Outreachy

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions