- On Github, go to Actions, select the Make Release workflow and click Run workflow
- Select the branch to deploy (usually
master
) - Input a user-facing version name (eg: 0.13.0)
- Click the Run workflow button
- After CI completes, find the release on Github and write the changelog
- Move the release from Draft to Published
Note that the Github web UI will separate the release from the corresponding tag until published.
- Add a new folder under
migrations
following the existing pattern - Run
update_db_schema.bat