In general, this guide and script may be out of date. Make any changes as necessary.
- Install the frontend using
npm install.- Make sure that if you run
npm run startin thefrontendfolder, you get a working frontend onlocalhost:3000after a few minutes.
- Make sure that if you run
- Install
pandoc(e.g. using Homebrew) - Use a bash shell (or something similar — e.g. zsh but not Windows Command Prompt).
- Make sure everything is up to date:
git pull
- Choose a version as $major.$minor.$patch (e.g. 1.32.2)
- Run
./release.py $version. - Go on Discord and wait for things to catch on fire