19 Aug
2021
19 Aug
'21
5:42 p.m.
Am 19.08.2021 um 19:35 schrieb Stefan Reinauer:
If we're making infrastructure changes, do we want to switch from MediaWiki to a different solution for the web page?
Since we're talking github: github pages? According to https://docs.github.com/en/pages/configuring-a-custom-domain-for-your-github... they support custom hostnames.
That said, it's really an orthogonal effort: Code Review flow and CI can and should be improved independently from the website.
(And we should do a release, the last release update on the web page was 8 years ago)
Speaking from coreboot experience, there really should be a release: coreboot was generally considered dead after 2 years or so without one...
Patrick