You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Sarah Jamie Lewis 2ce99e8177
4 days ago
blog Repl 4 days ago
docs Leave Conversation + Blog Draft 4 days ago
i18n adding security to crowdin; minor translation updates 7 days ago
security Erinn Comments 2 weeks ago
src Leave Conversation + Blog Draft 4 days ago
static Nightlied 4 days ago
.gitignore Package Lock 2 weeks ago
.yarnrc.yml Stubs and Security Handbook 2 weeks ago More README updates 3 months ago
babel.config.js theme image 9 months ago
crowdin.yml adding security to crowdin; minor translation updates 7 days ago
docusaurus.config.js Add Katex 2 weeks ago
package-lock.json New Packages 2 weeks ago
package.json New Packages 2 weeks ago
sidebars.js test stub 10 months ago


This website is built using Docusaurus 2, a modern static website generator.


$ yarn


install NVM to manage multiple and new NodeJS versions, and then install NodeJS 16

$ nvm install 16
$ nvm use 16

nvm only works in bash shell

Local Development

$ yarn start


$ npm run start

This command starts a local development server and opens up a browser window. Most changes are reflected live without having to restart the server.


$ yarn build


$ npm run build

This command generates static content into the build directory and can be served using any static contents hosting service.

Deployment to Stable

Using to manage but deployment by push is to a separate docs server. Add your key to the docusaurus account's .ssh/authorized_keys and then

$ git remote add docs
$ git push docs staging

Deployment to Prod

The staging website must be manually promoted to prod. This can be done by logging into the docs server as docusarus and running:

rsync -a --delete staging/ prod/