3 ms·
Our wiki is a static site generated with the MkDocs tool (Material theme), auto-published on our internal web server through a dumb CI pipeline (a PHP webhook b
by Artemix 7y ago
Our wiki is a static site generated with the MkDocs tool (Material theme), auto-published on our internal web server through a dumb CI pipeline (a PHP webhook building the website).