search

ocaml / infrastructure

WIki to hold the information about the machine resources available to OCaml.org
40 stars 9 forks source link

Add maintenance notice for current-bench #78

Closed punchagan closed 7 months ago

tmattio commented 7 months ago

I've recently synced all of the infrastructure changes with the OCaml Changelog: https://ocaml.org/changelog?t=infrastructure

Do you think it'd make sense to log changes there, or do you see benefits in continuing to post at both places?

mtelvers commented 7 months ago

Could we not just import infra.ocaml.org as an RSS feed into ocaml.org? http://infra.ocaml.org/feed.xml

tmattio commented 7 months ago

The current infra blog is a mix of changes updates and blog posts, and these are distinct on ocaml.org, so I don't see an easy way to do this automatically.

But even if we could tag them on the RSS feed, I'm wondering if we shouldn't make ocaml.org the source of truth. I don't have a very strong opinion, but I like the idea of having the changelog staying the source of truth for official updates, rather than an aggregate. It's currently the source of truth for compiler and platform updates, so it could make sense to make it so for infra as well.