Currently, this site is written in HTML / PHP. While this worked initially, to better enable collaboration, I suggest we move to using a plaintext-based format like markdown or restructured text. We can then build a CI pipeline with Sphinx / some other HTML conversion to integrate with github actions to re-build the site on a push.
Currently, this site is written in HTML / PHP. While this worked initially, to better enable collaboration, I suggest we move to using a plaintext-based format like markdown or restructured text. We can then build a CI pipeline with Sphinx / some other HTML conversion to integrate with github actions to re-build the site on a push.