polaris/docs/MAINTENANCE.md
Antoine Gersant 847d61f62b
One click release (#113)
* Make release from Github UI
2020-12-13 19:24:06 -08:00

625 B

Maintenance

How to make a release

  • 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.

How to change the database schema

  • Add a new folder under migrations following the existing pattern
  • Run update_db_schema.bat