See https://flask-alembic.readthedocs.io/en/stable/. You can run `flask db` for a list of the available commands. Note that we manually rename the auto-generated files so the prefix is a sequential number instead of a SHA. This means the files are listed in order, so it's easier to navigate the migration history.